aspect CountReachableMethods {
	//Count the number of methods that are reachable (for testing)
	syn lazy int Program.countReachableMethodsInSourcefiles() {
		int count = 0;
    for(Iterator iter = compilationUnitIterator(); iter.hasNext(); ) {
      CompilationUnit cu = (CompilationUnit)iter.next();
      if(cu.fromSource())
        count += cu.countReachableMethods();
    }
		return count;
	}
	
	syn int ASTNode.countReachableMethods() {
		int count = 0;
		for (int i=0;i<getNumChild();i++){
			count += getChild(i).countReachableMethods();
		}
		return count;
	}
	
	eq MethodDecl.countReachableMethods() {
		return super.countReachableMethods() + (reachable() ? 1 : 0);
	}

	
}