Agent initialization not enforced
This is forbidden in pseuCo, but the compiler allows it: https://pseuco.com/#/edit/remote/9s3v4oeq0n3dz3twyvi3
This is forbidden in pseuCo, but the compiler allows it: https://pseuco.com/#/edit/remote/9s3v4oeq0n3dz3twyvi3