How to check if a contract is using SafeMath library?

Emmm, how about this one: OpenZeppelin Upgrades: Step by Step Tutorial for Truffle