Tool is engineered to “crawl over” computerized designs or blueprints using mathematical proofs that can ask questions