+ * Revision 1.25 2004/10/18 12:47:08 liekweg
+ * avoid warning
+ *
+ * Revision 1.24 2004/09/24 13:59:04 beck
+ * fixed doxygen comments, removed initialization for description entities
+ *
+ * Revision 1.23 2004/08/19 16:51:02 goetz
+ * fixed some errors, pushed closer to inteded firm semantics
+ *
+ * Revision 1.22 2004/08/13 08:57:15 beyhan
+ * normalized names of functions, enums ...
+ * added suffix as argument to dumpers, removed global variable
+ * removed support for tarval/Const
+ *
+ * Revision 1.21 2004/07/08 15:50:56 goetz
+ * firmstat added
+ *
+ * Revision 1.20 2004/07/08 11:17:40 goetz
+ * *** empty log message ***
+ *
+ * Revision 1.19 2004/07/06 12:30:37 beyhan
+ * new SymConst semantics
+ *
+ * Revision 1.18 2004/06/27 21:17:41 liekweg
+ * Added comment
+ *
+ * Revision 1.17 2004/06/25 13:45:13 liekweg
+ * observe stickyness; minor refactoring
+ *
+ * Revision 1.16 2004/06/24 06:42:14 goetz
+ * test of firm flags
+ *
+ * Revision 1.15 2004/06/18 15:47:19 liekweg
+ * minor bug fix (go forward, not backward) --flo
+ *
+ * Revision 1.14 2004/06/18 13:12:43 liekweg
+ * final bug fix (calls via consts)
+ *
+ * Revision 1.13 2004/06/17 16:34:33 liekweg
+ * removed DD*s
+ *
+ * Revision 1.12 2004/06/17 16:33:33 liekweg
+ * minor bug fix
+ *
+ * Revision 1.11 2004/06/17 14:21:13 liekweg
+ * major bugfix
+ *
+ * Revision 1.10 2004/06/17 10:31:41 goetz
+ * irscc: bugfix, can now deal with loops not reachable from start
+ * cgana: bugfix, skip_Tuple
+ * rta: improved
+ *