Changing the way predicates are represented in the skeleton.