CONST_INSTR
 This configuration parameter decides if const declarations are
		instrumented. Possible values are OFF and ON.
Example: A declaration like 
	const int i = x ? 100 : 200;must not be instrumented if
i is used later in a way where the const property
			must hold. This is achieved by setting 
			CONST_INSTR = OFF