Adapted SPARK VC parser to planned new representation of exact
and rounded real operations.