constraint propagation and means ends analysis 6044470