Version 1.1
	CITADEL:
	- Support for the new declarations file format
	- Suppression of function postcondition clauses not containing "Result"
	- Suppression of loop invariant clauses not containing variables modified in the loop body
	- Suppression of properties, implied by class invariants of involved variables 
	- Compile-time constants are output once (per program point)
	- Improved user output and assertion cluase labels in the annotated code
	Eiffel-specific Daikon:
	- Merged with Daikon 4.6.2
	- Added special processing for equalities between boolean constant variables

Version 1.0
	The first version of CITADEL