fixed the initialisation of ContextASPMCSRewriting and added a method for openeng predicates from outside.
fixed the initialisation of ContextASPMCSRewriting and added a method for openeng predicates from outside.

AntoniusW/omiga,AntoniusW/omiga,AntoniusW/omiga,AntoniusW/omiga