added more tests to InferenceTest. Also modified proof.java