(* This function was developed inside of rube.ml of project 4 *)
(* It depends on the types and other factors of the p4 setup *)
let check_multiarg(p:prog):bool =
    match p with
        | (classes, _) -> (let rec handle_classes clss =
                (match clss with
                    | [] -> false
                    | (h::t) -> (match h with
                                    (_,_,methods) ->
                                        (let rec handle_methods mths =
                                            match mths with
                                                | [] -> false
                                                | (h2::t2) ->
                (match h2 with
                    (_, params, _) -> match params with
                            | [] -> false
							| [_] -> false
							| _ -> true or
                                handle_methods t2) in
                            handle_methods methods or handle_classes t))) in
                                handle_classes classes)