infrastructure for checking (type) coherence of common blocks