map_supervisionLabel_seg_alwaysTrue
2              % num parents
% first parent is the label: 0 = no label; 1+ = (desired-1)
% second parent is target
    0 2 0 default
        % no label
        -1 1 % does not matter, observed child is always true

        % label set
        #if SUPERVISIONLABEL_EXTENSION == 1
            %% if only one supervision label is allowed
            %%% if the target == label - 1: then observed child is true
            %%% if the target != label - 1: then observed child is false => impossible
            -1 { p1 == (p0-SUPERVISION_LABEL_OFFSET) }
        #else
            %% if multiple supervision label is allowed
            %%% if the target in range [label - 1, label - 1 + label_range):
            %%% then observed child is true
            %%% if the target not in range [label - 1, label - 1 + label_range):
            %%% then observed child is false => impossible
            -1 { (p1 > (p0-SUPERVISION_LABEL_OFFSET-1)) && (p1 < (p0-SUPERVISION_LABEL_OFFSET+SUPERVISIONLABEL_RANGE_SIZE)) }
        #endif
