Update ProofTest.java

added tests for mp, mt, and ic