unified state syntax for boogie and chalice
unified state syntax for boogie and chalice