tree: e0026fac54cbbcbd85c2f6dcfa1368db30f19a7a
  1. PrologSizeSanityCheck.java