SCFL Falsification Conditions Version 1.0 | Synapse