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

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

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

File bench/infer/binary_search1.mlw:
Goal binary_search'vc.
Prover result is: Timeout (1.00s).

File bench/infer/binary_search1.mlw:
Goal binary_search2'vc.
Prover result is: Timeout (1.00s).

File bench/infer/binary_search1.mlw:
Goal binary_search3'vc.
Prover result is: Timeout (1.00s).

