Internal model structure for test generation.