Don't require the simplifier to solve this regression test#2028
Merged
kroening merged 1 commit intodiffblue:developfrom Jun 1, 2018
Merged
Don't require the simplifier to solve this regression test#2028kroening merged 1 commit intodiffblue:developfrom
kroening merged 1 commit intodiffblue:developfrom
