Added a quick test for the kore syntax. At the moment it doesn't finish because of the quadratic behavior of the parser.