1) added an option to externally configure which callgraph algorithm shall be used
2) fixed a bug with the option for enabling/disabling static field tracking