extern data related missing wellformedness checks

This snippet should be flagged as not wellformed, until data contracts are supported in Dezyne.

...
behavior
{
extern int $int$;
int cmd = $0$;
[cmd == $0$] on event: 
...