To calculate non-strict overlap, we ignore the identities of non-terminal symbols in the left-hand and right-hand sides of the rules.
two rules are considered equivalent if they are identical after all the non-terminal symbols have been replaced by one equivalent symbol.