Use -inferred rather than -asserted input version in order to get additional subclasses in branches