Assurance case abstraction