Spice models are always simplified and inaccurate for several reasons. A realistic model would significantly slow down the simulation. Creating a realistic model is work for which no client pays anyone. Companies do not want their confidential information to leak thru this channel, so they deliberately degrade the accuracy of the models. A complicated model will contain errors just like any non-trivial program. Recently, in another topic, we discussed the simulation with OPA2992. OPA2992 has a very complex model with 500 lines of text. The header described that it simulates as many as 24 parameters, and unfortunately, it turned out to be useless because something inside is oscillating. Most models, like the one you presented, are behavioral models; there isn't a single transistor inside your TL051. What applications would an offset adjustment circuit have in such a circuit?
Describe which properties you want to test and in what configuration.
If you only want to test the offset adjustment, it can be done in another way.