fixing two add for same termination back-2-back scenario, 2nd add should reject as term already in context