The definition of antisymmetric relations is an unusual one. As given, it's incompatible with the definition of reflexivity (presumably there's an implicit assumption on `a ≠ b`).
The usual definition is `x ≤ y AND y ≤ x → x = y`.
The usual definition is `x ≤ y AND y ≤ x → x = y`.
The fix consists of implementing an XXX present since the code was added:
https://www.freebsd.org/security/patches/SA-25:12/rtsold.pat...