updating DefUseFrame to keep information if the statement is a predicate