We distinguish between l-values and r-values in JSIR [...] L-values and r-values are represented in the same way in the AST

only because you chose a dumb AST...