Correctly parse multiple variables in a single definer.

define variable (*a*, *b*) = ... works now.
Sanity annotator improved:

* No more wrong notification on tail names not matching.
* Add variable name checking.