Improve checking of signal assignment in procedures