Does anyone know why ℕ₁≜l<5&sᶠ{Ḋ|ṗ}ᵐ spits out infinite 1s through the input variable on my local installation of Brachylog, but works as intended on TIO

As far as I can tell, the act of mapping an inline predicate is creating a choice point, which doesn't seem to care about the contents of the predicate, or happen if you map anything else

I'd be inclined to blame my local un-PRed changes but I can't tell how any of them could possibly be related to this

...well, turns out it doesn't terminate anyhow because apparently clp(fd) doesn't quite understand l