ll: add at_top, at_end predicates
allow nested procedures as arguments when calling find()