log/smt2perr034.smt2:1:20: expected '_' or 'Array' at 'epected_underscore_or_Array'