added a callgraph option to explicitly enable SPARK