style(Model_Checking.Full_Data): simplified initialization code.