check current basic block is terminated in statement block