add factory to trivial remaining weight heuristic
remove component annotations
log walk limit doubling