no self loop arcs for trivial rules A=A