Lines Matching full:branches
3379 // probably small and evalAssume is only called at branches and a few
