mutable
accept_state = ([]: predicate list)