check arguments' types are invalid or not in function invocation