Wyclipse.Core: updated after refactoring of WhileyCompiler.