# variable stinfo should hold term (Comparison node) where it's referenced in having clause (var.stinfo.get('having')

# should properly update statement's vargraph