Comment by kevindamm

  > with admirable tunnel vision, bullheadedness and mission for maximally general algebraic and arbitrary constraint type systems.

I believe they're called keyhole optimizations, greedy search, and "the customer is always right..."