Extension Condition "violations" and Merge optimality constraints