fixed revised-predicate-elaborate: still jenky