Should this be factored into a liveness analysis? If yes, please refactor this test into a function that we can then replace with an optimised version.