Text this: Bayesian network based vulnerability detection of blockchain smart contracts.