public AssignStmt(IStateAccess left, IAExpr right) { Left = left; Right = right; }
public ReadStmt(IStateAccess left) => Left = left;