Allow invariant generation to prove properties