closes #70416: add 'having' list into variable's stinfo and properly update variable graph

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

# should properly update statement's vargraph