[DISCUSS] Embed more Bound Information into Var or Expr

[sergesg]

So can we embed bound infomation into te.var now? Maybe assert_stmt?