Class IndexExistsPrecondition