Powerful Equivalence Checking in the Bank Supply Process