fixed #380, control flow graph was wrong for loop-statements (skipped the condition) (commit: 0af7fe9)