unit test: model: Don't read file unless needed
unit test: model: Add tests for multiple syms at the same address
model: Correct handling of multiple symbols at the same address