method input_names = let inputs = call_method_array sv "inputs" [] in let names = List.map (fun sv -> call_method sv "name" []) inputs in List.map string_of_sv names