nskh/automatic-safety-proofs not found