Parsing for Slice (Specification Language for ZeroC Ice)