Text this: Предикатное представление как основа оптимизации программы для архитектур с явно выраженной паралельностью