Make pre-condition failure class symbol public