1. A method comprising: receiving information identifying a first plurality of graphical blocks associated with a model, receiving the information identifying the first plurality of graphical blocks being performed by one or more computing devices; receiving information identifying a second plurality of graphical blocks associated with verifying an attribute associated with the first plurality of graphical blocks, receiving the information identifying the second plurality of graphical blocks being performed by the one or more computing devices; performing a first operation to produce a first result, the first result indicating that the second plurality of graphical blocks do not influence an output of the model, and the first operation being performed by the one or more computing devices; performing, after the first result is produced, a second operation to produce a second result verifying the attribute associated with the first plurality of graphical blocks, the second operation being performed using the second plurality of graphical blocks, and the second operation being performed by the one or more computing devices; and storing the first result and the second result, storing the first result and the second result being performed by the one or more computing devices.