cfisisku lujvo

s1 diagnoses/proof-reads/searches/tests/debugs for flaw/property c1=s2 in c2=s3 causing c3