BS.Lazy almost terminating, strange issue with termination checker on split