Backward analysis higher order functions by Hoeven