`if !constr.instValid` ?