The raw value differs between the sides; a trailing * ranges over a prefix.
*
Node.Cross.pred on both sides: matches when the two results differ.
Node.On.pred on one side's fact at Node.On.path.