made diagnostic engine to verify span given to diagnostic from analyzers. and added explicit check in tagger for out of range