use(eta).

etas(S,S).

eta(S,T) -> etas(S,T).

etas(S,T), eta(T,U) -> etas(S,U).


option(var_overlaps(off)).