CUP_history: 

cup_circus.v4.5.1: 	Tree of inner_form is fixed, my tests are running perfectly (with the 4 old errors).
cup_circus.v4.6.1: 	outer_form is fixed, TODO's comments cleaned, uses CircusParserUtil.
cup_circus.v4.7.1: 	conjecture, PrefixExpressionMounter etc. uncommented, changed func_appl to TermA
					I've moved some of the parser methods to CircusParserUtil.
					
cup_circus.v4.8.1:	ATTEMPTS ON MODIFICATION OF THE SYNTAX

- Adding func_appl productions for chanSetPara and nsExpr -> 125/140
- (schema) negation - Mudei no else de expr -> pred
- Adding Assumption and coercion -> 129/144
- Taking away func_appl productions for chanSetPara and nsExpr -> 28/43
- Adding N [ Exp+ ] in proc -> 28/43 (no changes)
- Taking away proc [ Exp+ ] in proc -> 28/43 (no changes)
- Adding proc LPAR csExp BAR csExp RPAR in proc -> 28/43 (no changes)
- Adding two new ProcessRI productions in proc -> 28/43 (no changes)
- Adding two new ProcessR productions in proc -> 28/43 (no changes)
- Adding four new Action productions in cspActExp -> 39/54
- Adding six new ActionR productions in cspActExp -> 39/54

cup_circus.v4.9: 	Several modification by Leo. Most important modification was in callAction -> 99 conflicts

cup_circus.v4.10:

- Substituting the let definition construction by the one of CZT -> 99/114 (no changes).


----------------------------------------------------------------------------------------------------------

teste_cup_circus.v1.0.cup:	Only Z part, without any conflict.

teste_cup_circus.v2.0.cup: 

- Z Part + program, circPar_list, circPar (this last one without chanPara,
chaSetPara and procPara productions) -> 0/0

- chanPara, cDecl, simDecl and ident_list + chanPara production in circPar -> 5/5

	The problem was due to 'expression' production in simCDecl.
	
- Taking away 'expression' production in SimCDecl -> 0/0

