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