By: ValentinHirschi <valentin.hirschi@gmail.com>
feat: retain finite rank-bounded candidate terminals