Added logging helpers
Added higher order predicate helper