Check structural arguments passed by value and report the cases when formal parameter type is not known.
