Bugix - would fail to validate transitions