A PRISM Case Notation parser.