analyze lambda captures on semantics check