Verifying Inverses Using Composition