solve case Star(var_str1, const_int/var_int) = Concat(var_str2, const_str1)