fix: apply #14807 fix to `inductive.h`

This PR applies the fix from #14807 to `inductive.h`.
As the comment in `inductive.h` points out, the code should check whether
`e_type` is a proposition using `is_prop`, but it was still inlining the old,
buggy version of `is_prop`.