clause pool + literals