GENERALVALUES analysis:
- fixed the removal of #else branches (now prefixes #else-branch signatures for identification)
- fixed some whitespaces