Bug fix: /splitFirst was dropping the Init proc
Bug fix: /splitFirst was dropping the Init proc

boogie-org/corral,boogie-org/corral,boogie-org/corral,boogie-org/corral,boogie-org/corral,boogie-org/corral,boogie-org/corral