fixed; can-generalize
is_var