Automated grading of DFA constructions | Synapse