Update ProofTest.java

added tests for mp, mt, and ic
Merge pull request #7 from chashemi/patch-5

Update ProofTest.java