//Count how many can be devirtualized according to the NOMdevirt condition
aspect NOMdevirtCount {
	syn lazy int Program.NOMdevirtCountInSourceFiles() {
		int count = 0;
    for(Iterator iter = compilationUnitIterator(); iter.hasNext(); ) {
      CompilationUnit cu = (CompilationUnit)iter.next();
      if(cu.fromSource())
        count += cu.NOMdevirtCount();
    }
		return count;
	}
	
	syn int ASTNode.NOMdevirtCount() {
		int count = 0;
    for (int i=0;i<getNumChild();i++){
      count += getChild(i).NOMdevirtCount();
    }
		return count;
	}
	
	eq VirtualMethodAccess.NOMdevirtCount() {
		return super.NOMdevirtCount() + (NOMdevirt() ? 1 : 0);
	}

}