The current version of pack scasp does not contain a file ATTIC/test_sasp/left-rec-succ_BAD.pl
scasp
ATTIC/test_sasp/left-rec-succ_BAD.pl