Respect accessibility in case tree elaboration.