parse_all.cvc uit de testsuite