added some test files for behavioral clafer parser