Optimized determinism test in unit tester

Now only checks for two solutions rather than solving for all
solutions.  This involved adding the findnsols/4 primitive, after SWI
Prolog.