Removed abstract field parent class
Remove abstract field
Remove useless toList, correct replaceFunsAndPat.
Corrected handling of preconditions
Prettier printing of Scala files