The current version of pack scasp does not contain a file test/all_programs/sasp/left-rec-succ_BAD.pass
scasp
test/all_programs/sasp/left-rec-succ_BAD.pass