let c_subroutine (a: element) (c: element) : string = match c with
          Null  ->  (c_element a)
        | _     ->  (c_element c) ^ "\t=\t" ^ (c_element a)