Function prune_vacuous 

fn prune_vacuous<T: Types>(
    expr: &mut Expr<T>,
    env: &ConstraintGlobalEnv<T>,
    session: &mut Z3Subprocess,
) -> Result<bool, SuggestionSolverError>