Update SimplictyChecker2.java