only create a context for ProB, storing everything as constants and axioms on them
refactoring