Move scope border tweaking logic from VariableInspector to NodeScanner
Fix error at post condition loop node in VariableInspector

This fixes #374.
Merge pull request #375 from yujinakayama/fix-error-at-post-condition-loop

Fix error at post condition loop