Implication cache added again
Re-adding implied literal caching