Made sure all lemmas for Java type check.