MainInvariantsInference.scala 2 KB