Update the `diagrams` tool to show synchronized properties in predicate nodes