Check that the parameters not belonging to the given invariant belong to an invariant of a definition which contains the definition with the given invariant in its body; i.e. check that parameters that are within scope prior to prenexization. Currently only for numerical abduction.