remove verification comments; remove residual unevaluated