added structs to the model-checker.