Parsing test_splice.cs