Some known limitations:
HABJ-110 for/foreach/forall body's can't access point from region they iterate over.
HABJ-229 HJC unreachable code check too restrictive (return in for loops not supported)
HABJ-251 multi-dimentional points notation doesn't work in ateach construct
HABJ-267 Forbid declaration of static phasers