Add "Direct known sub-definitions" info + Gen algo fix + new tests.