Do not print attibutes for Havoc statements to be compliant with the MS
Boogie parser.