Add invariant validator