extract CFG edges for arinc calls