handle TargetVariable
handle opt_for_fn