Did you know ... Search Documentation:
Pack scasp -- examples/benchmark_EventCalculus/lopstr19/aux-sasp/go_time_bec_light_sasp_discrete

The current version of pack scasp does not contain a file examples/benchmark_EventCalculus/lopstr19/aux-sasp/go_time_bec_light_sasp_discrete