BDD-infer failure: unsupported feature, unsupported feature: mlw_expr_to_simple_expr: Epure

File bench/infer/pbinfer2.mlw:
Goal to_true'vc.
Prover result is: Valid (0.00s, 2 steps).

File bench/infer/pbinfer2.mlw:
Goal pgmtest'vc.
Prover result is: Valid (0.00s, 14 steps).

