Об одном обобщении подстановок применительно к задаче синтеза инвариантов программстатья