LLBC: name inherent methods instead of aborting, and deduplicate the name builders - #4882

LLBC: name inherent methods instead of aborting, and deduplicate the name builders#4882

tautschnig merged 3 commits into

model-checking:mainmodel-checking/kani:mainfrom

feliperodri:llbc-names-refactorfeliperodri/kani:llbc-names-refactorCopy head branch name to clipboard