* test matrix
* descend into Expr.args