is_const now returns true for StringImm