Updated most encodings to use the new ASP interface.
Optimization: When a child node's ASP solver reports an empty item tree, no further calls to ASP are performed.