Testing the 'include' feature.

Each positive (resp. negative) test here MUST be a subdirectory of the
form <example>.pos (resp. <example>.neg), and in that subdirectory,
shall have a Test.fst file, which shall be the entry point being
verified.
