MAYBE
ignored inputs:
(COMMENT Example 1.2 of [ Suzuki et al. , PPL 2014 ] )

NRS:
   [ (0):  |- (f []X) -> [a][]X ]
Check confluence by orthogonality
not abstract skeleton preserving
result: MAYBE
time: 0 msec.