1. A method comprising: detecting, by a first processor, at least one complexity in a model including executable semantics, the at least one complexity interfering with a verification of the model; identifying a source for the at least one complexity, the source being a lookup table of the model, the lookup table including table data that includes at least one input data set, and the at least one input data set including a number of input data values; and reducing the source for the at least one complexity, thereby allowing successful verification of the model, the reducing including: generating, by the first or a second processor, new table data for the lookup table, the generating including: linearizing at least a portion of the table data of the lookup table, where the linearizing reduces the number of input data values of the at least one input data set of the lookup table; and replacing the table data of the lookup table with the new table data.