Created by: yu239-zz
The original code would assert failure when there is StaticInput in the inputs of the recurrent_group