Update AtomTypeAwareSaturationChecker.java