Added method to handle extra variables generated by incoming constraints.