Data Flow Verification in Applying Saudi