On the Prediction of Smart Contracts’ Behaviours