Symbol: is_impossible_variable