Pardon me if I sound dumb, but going by the abstract, this is essentially concolic analysis of smart contracts ?