Added some CycIC pragma tags

What about infinite discrete sets? - e.g. all integers.