Verifying module heuristics for large scale products