- Fixed bug that caused extractExpr to crash when it tried to fetch all pre / post conditions of a method that doesn’t have any. - Increased the number of iterations in the tenth LogicIR.Backend.Test test.
