reflexive-transitive_closure