The node you are looking for is at Tools for manipulating invariants.