False positive DivideBeforeMultiply

[Gusarich]

Current behavior
Snippet A (no problems found):

contract TestContract {
    get fun test(): Int {
        let a: Int = 1000000000;
        let b: Int = 1000000000;
        let c: Int = a * b / 1000000000;
        return c;
    }
}

Snippet B (reports DivideBeforeMultiply on line 5, not even on the changed one):

contract TestContract {
    get fun test(): Int {
        let a: Int = 1000000000;
        let b: Int = 1000000000;
        let c: Int = a * b / 1000000000;
        return c * 10 / 20; // only this line changed
    }
}

Expected behavior
Second snippet should not be considered as DivideBeforeMultiply