Fix error when generate tests from praspel