Symboleo2SC: from legal contract specifications to smart contracts