- Enable pbes_explorer_test and ltsmin_test (without jittyc)