Structural properties checking is added