MAYBE
MAYBE
TRS:
 {f() -> f()}
 Fail