Move `(tr, inf)` to the front in PSI rule about natural numbers

[bvssvni]

https://github.com/advancedresearch/avalog/blob/master/source/psi.txt#L82

This should be changed to:

s'(X) : nat :- (tr, inf), X : nat.

Prevents unnecessary sub-rules from being generated.