defined new interface for IMCREOtools, where the user shall specify the
tool to use: prismer or generator