fighting too complex methods: merge states which differ only in unknown variables
dfa: let commented tests reference requests