Extensions to the Comprehensive Framework for Saturation Theorem Proving by Jasmin Christian Blanchette and Sophie Tourret Aug 25