Cleanup code that fixes the definition tables for synchronized predicates