sofya.mutator.verifier
Interfaces 
VerificationResult
Verifier
Classes 
JustIceVerifier
PlatformJVMVerifier
Verifier.Pass
VerifierFactory
Exceptions 
VerifierException