Given an affine system and a target mapping. The verifier checks the legality of mapping.
public VerifyTargetMapping(Program program, String system, String verbose)
“NONE”, “MIN” or “MAX” should be passed for verbose.