test2_child_deleted.casl revision 22f8827cd8892a298f9764ce862db6867307828d
spec sp =
sort s
op f:s->s
. forall x:s . f(x) = x
then
. exists x:s . f(x) = x
with s |-> s
end