О синтезе предикатных схем на основе разложений по обобщенным переменным доклад на конференции