Function simplify 

fn simplify<'db>(
    env: &Env<'db>,
    candidates: &mut Vec<RedChain<'db>>,
) -> Errors<()>

Remove each candidate c1 \in candidates where there exists another candidates c2 \in candidates and c1 <: c2