Allow to have distinct instruction parameters.
Less noise in pretty prints.