Function should_symbolically_use_fuzz_frontiers 

fn should_symbolically_use_fuzz_frontiers(
    config: &Config,
    func: &Function,
) -> bool