On Realization of Program Constraints: Part I—Theory