Refinement checking and FDR

A

B

F(A)  =  { <a, {a}>, … }        =/= F(B)  =  { <a, {a,b}>, <a, {a,c}> , … }

a

a

a

c

b

b

c