rej14: Add decomposition propagation rule to goals