Optimize resolution of alpha nodes matching incoming facts.