Added missing case for proof derivation finding