Indeed, but panic is easier because in some ways checking if a program can panic is akin to checking if the program links the panic function. And that's pretty

Indeed, but panic is easier because in some ways checking if a program can panic is akin to checking if the program links the panic function. And that's pretty easy to statically analyze.