When a new rule is dynamically added the new Left and Right tuples it eventually creates are added always at the end instead of being inserted in the correct position in the respective lists.