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

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