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

NRS:
   [ (0):  |- (f []X) -> [a][]X ]
Check confluence by strongly closed criterion
linear
uniform
BCPs:
(0 on 0): 
   {  |- < [a][]X_1 <= (f []X_1) => [a][]X_1 >,
      |- < [a][]X_1 <= (f []X_1) => [b][]X_1 > }
 |- <  [a][]X_1,   [b][]X_1  > is not closed
failed to show all BCPs are strongly closed
result: MAYBE
time: 0 msec.