verification{test,model} -> {test,model}verification