Этот код работает нормально, извините за путаницу. Я был просто смущен результатами симуляции, подумал, что я не получаю желаемого отклика, но, глядя на внутренние сигналы, очевидно, что так оно и должно себя вести.
Поэтому я решил не использовать циклы на тестовом стенде сложной системы в следующий раз, если только мне это не понадобится.
Благодаря обоим комментариям, поскольку вы оба правы, сигналы обновляются так, как они должны, с циклом, работающим очень хорошо, и между Rs и Rt не должно быть "-".