checking some intermediate stages, just after Bucket and common clauses definitions