db_return_states_assign
handled |= db_return_states_assign(expr);
if (db_return_states_assign(expr) == 1)