@xiangli-cmu This only gets set once to `false` but never used beyond that. Can you delete it?