Fix a big bug in mk_star + add new case: Star(const_str1, var_int) = Star(const_str2, var_int)