Free_variables_and_bound_variables loading ...