Move files in examples directory to tests directory. They are not real examples

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
Add a real example. Fix bug in the parser

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>