Generic Architecture for Proof Transformations