Fix conversion of if-then-else expression by providing a correct Reify object. Thanks Hakan Kjellerstrand for the bug report. Add option "printproblem" for debugging.