(***********************************************)
(* code generation for  (Call_C qp+r p) from cpr (code for (Call_K p r)) and cq (code for (Call_M q)) (it's cpr, followed by cq then a MUL statement                       *)

Lemma KMC :
forall p q r : nat,
gencode (Call_K p r) -> gencode (Call_M q) -> gencode (Call_C (q * p + r) p).