the plugin could highlight unnecessary semantic typecasts in contracts so these can be removed like `int(tx.inputs[x].tokenAmount)`