PROC Cmd0() IS 
  IF 
    VAR p ~ (1.1, 0.2) IN 
      Geometry.Dist(p, (0, 0)) = 
        1 AND 
      Geometry.Dist(p, (2, 0)) = 
        1 -> SKIP 
    END 
  FI 
END;