Failing test exhibiting problem in dependency tracking between toplevel definitions in model.