problem with underspecified seq types in proc definitions of the same name

problem with underspecified seq types in proc definitions of the same name #4408