new: rel_is_cyclic()