Predicate getNextClassInMroKnownStartingClass

Gets a class that, from an approximated MRO calculation, might be the next class after cls in the MRO for startingClass.

Note: this is almost the same as getNextClassInMro, except we know the startingClass, which can give slightly more precise results.

See QLDoc for getNextClassInMro.