Added remarks for clarity.
Don't short-circuit in the zero-width evaluator, because it can lead to missing some expressions.