set cpu-policy 3 load environments/ScuolaDiMileto_assert_fail.xgp run