recursive finite state machine satisfiability parser (incomplete...)