test case highlighting how the function is currently interpreted as a predicate by Alive