The current version of pack scasp does not contain a file test/programs/classic_negation_inconstistent.pass
scasp
test/programs/classic_negation_inconstistent.pass