The Fragments way of automating smart contracts