mutable
initial_state = ([]: if_state)