Adapting model parser to newer Boogie.