Automated substructure depiction and verification