let push_params (a: element) (pl: element list) (proct: proc_table) (out: out_channel) = match a with
          Subr(s)   ->  (
                         let entry = (Hashtbl.find proct (Ide(s))) in match entry with
                              Building(_,_)                 ->  raise (CONFIRM_RULE "Why should I have some subroutines in building phase here?")
                            | Subroutine(_,_,_,_)    ->  (
                                                                 for n=0 to ((List.length pl)-1) do
                                                                      (push_single_param out (List.nth pl n))
                                                                 done
                                                                )
                        )
        | _         ->  raise (CONFIRM_RULE "Why should I have to call a variable or a label?")