In this file I collect the correct outputs without options

1 simple.xre
------------

Reading program examples\Simple.xre...completed
Reading XML file examples\simple1.xml...completed
The input document MATCHES with the patterns of the program.
List of the bound variables in the program:
inside 	=  a[],"Hello",b["real"],"world"
doc 	=  root[a[],"Hello",b["real"],"world"]
firstStr 	=  "Hello"
secondStr 	=  "world"

Reading program examples\Simple.xre...completed
Reading XML file examples\simple2.xml...completed
The input document MATCHES with the patterns of the program.
List of the bound variables in the program:
inside 	=  name["ugo"],name["mario"],name["pinotto"],name["luigi"]
doc 	=  root[name["ugo"],name["mario"],name["pinotto"],name["luigi"]]
firstName 	=  "ugo"
lastName 	=  "luigi"

2 errors.xre
------------

Reading program examples\Errors.xre...
Listing errors:
Syntax error at line 75, characters 37-41: Email is not a type name
Syntax error at line 78, characters 9-14: identifier "Person" redeclared
Parsing error at line 81, characters 44-48: cannot use binding in type declarations
Type error at line 116, character 17: top-level recursion of identifier X
Type error at line 117, character 17: top-level recursion of identifier Z
Type error at line 118, character 17: top-level recursion of identifier Y
Syntax error at line 136, characters 1-33: implicit declaration of "Any" hidden
Syntax error at line 157, characters 20-25: identifier "Person" redeclared
Syntax error at line 159, characters 31-33: id1 is a variable, you can't use variables in patterns
Type error at line 171, characters 18-61: linearity constraint broken (subsequent redefinitions)
Type error at line 174, characters 18-41: linearity constraint broken (can't bind inside operators *,+,?)
Type error at line 178, characters 10-47: linearity constraint broken (variables in all choices need to be equal)
Type error at line 183, characters 18-44: linearity constraint broken (nested variable definition)
Errors: 13
Warnings: 0
completed
Found errors, execution terminated

3 addrbook.xre
--------------
Reading program examples\AddrBook.xre...completed
Reading XML file examples\mybook.xml...completed
The input document MATCHES with the patterns of the program.
List of the bound variables in the program:
P 	=  person[name["Haruo Hosoya"],email["hahosoya"],email["haruo"]],person[name["Jerome Vouillon"],telephone["123-456-789"],email["vouillon"]],person[name["Benjamin Pierce"],email["pierce"]]
firstName 	=  "Jerome Vouillon"
firstTel 	=  "123-456-789"

Debug examples:

4 recursion.xre
---------------

5 alternatives.xre
------------------
