[DISCUSS] Embed more Bound Information into Var or Expr

using assert_stmt is a valid approach