- add option --no-implicit-cast to supres printing of implicit casts