Add PutInside and AntiPutInside
inverse_ and sep_