fixed value numbering modularity problem