PROBCORE-404 Working on typing for Proof objects. Decided to create an AbstractClass instead of Interface.
PROBCORE-404 Added attribute to EventBConstant to mark if it is an abstract constant or not.
PROBCORE-404 Created first prototype for translating EventBModel to Prolog.