test: tr. #671 (0/0 in factorize (LHeuristic))