further extended validation in AnalyzeBdl