Assertion in signal_1