Test specifications (to be continued)

This is a skeleton of a file to be make sure that the AST generated in various situations is the expected one.  It also serves to document the interpretation of corner cases.