Add failing test for unification carry-over
Split Rule.GetField from Rule