Check !-box nesting structure when creating rules

Rule.mk now fails if the two graphs do not have the same !-box-parent
relation.

Closes #83