> Yeah, and that, too. > Looks like something that's very hard to check for. Either we need a > good heuristic for that or a very clever idea. > precisely my point (-: