Exact

Assumes captured does not contain foundVar (and thus neither any vars derived from it). Since captured uses only external variables, a closure will be created.

Along the way tries to resolve captured vars of expr to unused variables of this.