scop detection: check flag before expensive call
scop detection: inline and remove isValidBasicBlock