Fix #49. (Race condition on the addition of entrypoint attribute)
Fix #49. (Race condition on the addition of entrypoint attribute)

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