try fix bugs in norm verification
fix backtracking in par-reduce