MAYBE
MAYBE


Tool output:
MAYBE
the obtained ground-complete system contains an unorientable equation and currently such a system is not certifiable