OptionCollector reports only partial default value strings. #23
Description
The process to extract default values for options from source code could be improved for severa ltypes of options. At least ImmutableSet(...) could be parsed, as it is currently not done in for some options in CPAchecker.