add getValue for Arrays of AffExpr and QuadExpr