test exprs must be constant