allow optional on final relation (rhs only) and in having expression (hence Comparison node gain a 'optional' attribute). Closes #71415

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

# should properly update statement's vargraph