Backward analysis higher order functions door Hoeven