Fix passing labels to validateLabelledStatement