updates to listener. still pursuing non-determinism. now listening to
choice generators.