annotate_bound_variables_callbacks function

Propagate parameters and local variables top-down to assign attribute "bound" to all call expressions.