Simulating in Research on Functional Equivalence of Programs (on Structure and Problematics of Program Schemas Theoryстатья