add an abstract_constants node to the event b contexts. this node will be constructed by the eventb translation.
Merge branch 'develop' of github.com:bendisposto/probparsers into develop