CountStaticInstructions.cpp now runs perfectly. Must run it with the -analyze tag to see output.