Added set subtraction and specialization inferences