Instructions targeted by DFA are typicaly thoses that can contribute to the USE list and the DEF list. Thus instructions that have read storage area or write storage area.
With TypeCobol Parser/Generator, we can easily, traverse a syntax node and visit its code element to accept StorageArea instances used in read or write from.
So no matter to have here the complete list of all TypeCobol instruction that uses Storage Areas.