Proving Confluence in the Confluence Framework with CONFident