Test for checksSymbol, which showed that it only works on basic blocks!