Mineurs modification for LTLMapper, LTLReducer