The current version of pack scasp does not contain a file examples/benchmark_EventCalculus/lopstr19/event-calculus/example-tap/bec_tap_01_overflow.pl
scasp
examples/benchmark_EventCalculus/lopstr19/event-calculus/example-tap/bec_tap_01_overflow.pl