On Wednesday, 16 March 2016 at 18:39:36 UTC, Mathias Lang wrote: > > Sadly, to solve that without imposing much pain on the users, > you need a more decent VRP than we currently have, I just read Walter's Dr. Dobbs article on VRP: http://www.drdobbs.com/tools/value-range-propagation/229300211