I agree, but fact is that SMTs aren't around and while it would be more fun to actually use those in the wild, there are valid reasons to first do the "boring" optimization and refactoring work before SMTs.
You are viewing a single comment's thread from:
I should say that any anger in my comment was not directed at you, just general frustration.