Extract block, mods, elem, elemMods from predicates
First attempt at extracting bh-style predicates