alternating two blueprints, verify against ASTs