One approach when building garmin maps with mkgmap is to apply a penalty (-1) to the road speed in those segments, and I haven’t found noticiable difference ot travel times between traffic lights mapped in the intersection or in the incoming way; probably because the segments are very short to influence the estimated times.