added support for explicitly selecting SPARK as the callgraph algorithm