mutable
init_state = ([]: predicate list)