added select_unassigned_variable