Issues with evaluation of bdds, mainly when functions are involved
Issue #492
new
Several issues which effectively make using large domains impossible at the moment. See attached file.