Exclusion check improvement

Allowed exclusion relationship to be non-directional, so A excl B => B excl A
Also included the enhanced for loop fix, which fixes the negative rule not matching problem.