Machines with errors:
| ALLOY_COMPILED_PROVER_CACHING:1 | Exception of type NullPointerException |
| ALLOY_TUPLE_PROVER:1 | RuntimeException: Don't try to fall back, let the next level handle this =/ |
| PALAMEDES_JOCULAR:0.6.1 | Exception of type NullPointerException |