Verify_before – pre-deployment verifiability analysis for neuro-symbolic AI