code: public static String isReconcilePhase(CoreAnnotationProcessorEnv env)
          throws FatalCompileTimeException {
          String[] phase = getOption("-A" + JpfLanguageConstants.ANNOTATION_PROCESSOR_OPTION_PHASE, false, env);
          return phase != null && phase.length > 0 ? phase[0] : null;
      }
docs: Utility method to get the value of the "phase" option from the annotation processing environment.
  @param env the annotation processing environment
  @return the value of the "phase" option, or <code>null</code> if the option is unspecified
  @throws FatalCompileTimeException if an error occurs getting the value of the option