force validate-loop-locals after classify-invoke