replace case IntegerType in size func by abs(expr), does not work on mytests/Termination2.scala
replace case IntegerType in size func by abs(expr), does not work on mytests/Termination2.scala

epfl-lara/stainless,epfl-lara/stainless,epfl-lara/stainless,epfl-lara/stainless