added exception in intrinsic_witness_sets_io.adb