/* FIRM was designed for oo languages where all methods belong to a class.
* For imperative languages like C we view a program as a large class containing
* all functions of the program as methods in this class. This class is
* automatically generated.
* We use the same name for the method type as for the method entity.
*/
/* FIRM was designed for oo languages where all methods belong to a class.
* For imperative languages like C we view a program as a large class containing
* all functions of the program as methods in this class. This class is
* automatically generated.
* We use the same name for the method type as for the method entity.
*/