PASS balanced_boundary: 2 inputs, 2 outputs, 10 detail flows
PASS rejects_missing_output: boundary imbalance
PASS rejects_duplicate_output: boundary imbalance
PASS rejects_undefined_flow: undefined flow
PASS rejects_store_bypass: flow bypasses process
PASS diagram_source_matches_model
