Improved NCP example, all data structures now Empirical or Samplable