set_extra_nomod_helper
set_extra_nomod_helper(new_name, new_sym, expr, state);
set_extra_nomod_helper(name, sym, expr, state);
set_extra_nomod_helper(rel->name, rel->sym, expr, clone_estate_cast(estate_type(estate), state));