Add Attachment:Parsing whitespace-regions with "Permissive-Insert-Open" fails in AtermWriter