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