early return and test case to verify it#48

blackopsrepl merged 1 commit intoSolverForge:mainSolverForge/solverforge:mainfrom

NewBornRustacean:feat-skip-unrelated-insert-cross-biNewBornRustacean/solverforge:feat-skip-unrelated-insert-cross-biCopy head branch name to clipboard