fix prolog output of abstract constants in event b contexts