segmentation error when constraining attribute existence to {1} without child constraints

When compiling the two (smallest possible) attached observation archetypes, the flattener in the ADL workbench raises a segmentation error. See the attached error_log.txt for the exact error.

When adding any constraints after the existence matches {1} the error disappears.

When changing the existence to 'existence matching {0}' the error disappears.