pub fn interface_verification_ty() -> Expr
interface_verification: check compatibility of component interfaces interface_verification : List AssumeGuaranteeContract → Bool