Implemented function FIRST for a DCFG