trying to get probe with SimOCL