pub fn preset_env<C>(
    global_mark: Mark,
    comments: Option<C>,
    c: Config,
    assumptions: Assumptions
) -> impl Fold where
    C: Comments + Clone