interactive autograder: more precise watchword checks (#1730)