}
private void checkDepreciated(InterruptNode e){
if(e instanceof OpNode){
OpNode on = (OpNode) e;
if(depreciatedOps.contains(on.getOp()))
logWarning("DEPRECIATED operation used: " + on.getOp());
for (InterruptNode child : on.getChildren()) {
checkDepreciated(child);
}
}
if(e instanceof NumVar){