support *$p = _
convention: don't change state for reflexive edges where the key is not assigned to