cfisisku lujvo

s₁ diagnoses/proof-reads/searches/tests/debugs for flaw/property c₁=s₂ in c₂=s₃ causing c₃

• jbovlaste

---