Q$-1)$ Kamedede le Data$-$Flow CoveragCU$09$ e $$u: Wots$$ k$$da si gb$$na na: dze nuxexl$$ g$$me$($x$,$y$,$z$,$w$)$; $//$L$-$I ne $($z$>=0)$ ekema w:$=$z;$//$L$$II esime w

$$e nya

$=0$ do dze eg$$me

z:$=$z$$w;

w:$=$z;$//$L$$III $$e $$u$$o$$o

nuwuwu;

Ame $.$

nuwuwu; ne $($x$<0)$ la$,$ ekema z

$++$

; emetsonu $($ x$,$ y$)$; nuwuwu. a$-$ Kpa k$$da si le etame $$e sisi $$e n$$n$$metata si $$u wo$$l$$ g$$mesesewo$,$ zaz$$wo$,$ kple nyagb$$gbl$$wo zaz$$wo $$o$.$ b$-$ Na dodokp$$m$$ siwo $$e didime le sue wu na $$o$$ow$$ia to All$-$Uses Criteria zaz$$ me na t$$tr$$ z le L$-$I c$-$ Na didime suet$$e dodokp$$ m$$wo na $$o$$ow$$ia to All$-$Uses Criteria zaz$$ me na t$$tr$$ w le L$-$III d$-$ Na didime suet$$e dodokp$$ m$$wo na all$-$predicate uses of the variable w defined at L$-$II e$-$ Na didime suet$$ kekeake dodokp$$ m$$wo na DU$-$m$$wo kat$$ le t$$tr$$ y si wo$$e fia le L$-$I