Unsupported statement checks should be consistent

[joverbey]

There are at least three different ways to determine whether a function/loop contains a statement that cannot be analyzed/refactored:

• ForLoopCheck#containsUnsupportedOp
• ForStatementInquisitor#getFirstUnsupportedStmt
• Perform a dependence analysis and see if it fails

We should make sure the refactorings have a consistent notion of what is (un)supported and a consistent way of checking for it.

[acalvert]

Incidentally, I recently made a list of what types of things the AbstractDependenceAnalysis throws errors on, if it's useful. Hopefully I didn't miss anything:
unsupported-dep-an.txt