optimize lazy-head-filter: pass (unify sem-impl parent's head) to (lazy-head-filter) rather than passing sem-impl and parent's head separately.