Implement proper global checking in lambda-form optimization.
Whitespace cleanup in q3.k3.