Testing some higher order functions with abortability