Added Exists simplifable to contains inspection