The current version of pack scasp does not contain a file examples/benchmark_EventCalculus/lopstr19/event-calculus/scripts/go_bec_tap_02_no_overflow
scasp
examples/benchmark_EventCalculus/lopstr19/event-calculus/scripts/go_bec_tap_02_no_overflow