Test and fix for a bug with getAllExecutables() that does not recurse
into the type hierarchy for CtInterface.
Cosmetic.