PEP tests passing
PEP and Disjunctive Schnorr