Nathan Rittenhouse Problems in Symbolic Fuzzing