Missing elements from explanation trees in s(CASP)

I noticed recently that certain statements in s(CASP) rules do not generate corresponding nodes in the explanation tree.

The two that I have confirmed are disunities, and numerical constraints.

An example demonstrating disunities is available here: SWISH -- SWI-Prolog for SHaring

The rule has three conditions, but the explanation has only two lines.

Is this something that can be changed? What sorts of statements does it apply to, and is there an efficient workaround?

Thanks in advance.

Seems (some?) built-ins are nor reflected in the tree. Should be fairly easy to fix. I’m traveling though, so either someone needs to create a PR or this will wait a little.

The work around is probably to define

 not_equal_to(X,Y) :- X \= Y.

It’s not at all urgent, so it probably doesn’t make a lot of sense to rewrite the code generators and all the examples only to undo all that work a few weeks later. I’ll wait.

Thanks for the quick feedback!