Another fix to boogie trace parsing. * Don't require blank line at end of top-level procedure.
Another fix to boogie trace parsing.
* Don't require blank line at end of top-level procedure.

michael-emmi/c2s-ocaml,michael-emmi/c2s-ocaml