SAFE has it's own entry points

[khatchad]

In the typestate analysis options. It's probably defaulting to main() methods but this may not match what we get from the input program.

[khatchad]

It could be the case that SAFE uses our call graph, in which case this issue is moot.

[khatchad]

In fact, I think that is the case:
https://github.com/ponder-lab/Java-8-Stream-Refactoring/blob/9835cb06da282e08c97feae9a099da3c31ca0884/edu.cuny.hunter.streamrefactoring.core/src/edu/cuny/hunter/streamrefactoring/core/analysis/StreamStateMachine.java#L255-L256