Class ViewExistsPrecondition