test for expressions (todo: put it into value-level.)