implementing potentially a huge performance boost: not calling external atom if previously learned nogood already decides its truth
implementing potentially a huge performance boost: not calling external atom if previously learned nogood already decides its truth

hexhex/hexlite,hexhex/hexlite,hexhex/hexlite