The current version of pack scasp does not contain a file test/le_programs/bec_theory.incl
scasp
test/le_programs/bec_theory.incl