GhostGuards.dfy(12,9): Info: ghost if
GhostGuards.dfy(18,2): Info: ghost if
GhostGuards.dfy(28,2): Info: ghost while
GhostGuards.dfy(41,2): Info: ghost while
GhostGuards.dfy(54,2): Info: ghost match

Dafny program verifier finished with 1 verified, 0 errors
