The GNU C compiler is excellent with reasoning about Boolean values. It may be too clever. Like Microsoft Clippy-level clever ...

For now, it does not support navigation properties, complex types, owned types, shadow properties, or inheritance, but they are in the roadmap.