watch for (x, foo) limits and check func not expr.free_symbols