static scopes rec (test with print_rec)