[2209.14045v1] Verifying Safety of Behaviour Trees in Event-B