Safety Critical Environment -- Constraint Reasoning in Deep Biomedical Models --