Implemented Combo action that add Contract.Requires for all method arguments.