====== Verifier ======
Given an affine system and a target mapping. The verifier checks the legality of mapping.
===== Usage =====

<code>
public VerifyTargetMapping(Program program, String system, String verbose) 
</code>

"NONE", "MIN" or "MAX" should be passed for //verbose//.