Propagate semantic errors to final user