Did you know ... Search Documentation:
Pack scasp -- examples/benchmark_EventCalculus/lopstr19/event-calculus/scripts/go_bec_tap_03_two_models

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