added verification routine is_notleftextendible