add analysis pre-condition indicator