Do not print attributes for havoc because it is not allowed in MS
Boogie.