style(Model_Checking.Full_Data): simplified initialization code.
Merge pull request #322 from moneymanagerex/stef145g_dev

style(Model_Checking.Full_Data): simplified initialization code.