Add initial visualization of formal models.