Fixed predicate register encoding #2