104105106107108109110111112113114
} ExpVector e = p.leadingExpVector(); if (e == null) { continue; } int[] u = e.dependencyOnVariables(); if (u == null) { continue; } if (u.length == 1) { //uht++;