solve case Star(const_str1, var_int1) = Concat(var_str1, const_int1)