Flags.preprocess_pure

let preprocess_pure (flags: flags) = get_flag_bool flags.flags FL_PreprocessPure