fix(src/statSMT_sq.cpp): possible null dereference after dynamic_cast