let rec genSubTable (procl: proc list) (dect: dec_table) (table: proc_table) (ic: intermediateCode) = match procl with
        []      ->  table
      | p::ps   ->  (genSub p dect table ic); genSubTable ps dect table ic