Preparing ProofGate
Loading scenarios and decision controls…