add test files, return list of meta-variables that are unsolved in MvarNoVal exception.