muri urwo ruganda uhasanga ahantu hari inzira the party congress is the highest body of the party often program synthesis employs techniques from formal verification yasaga nkaho yitegereza ikintu kiri mu mfuruka yicyumba