In fact, pinout TL071CP the datasheet does not match the pinout on the spice model.
However, if you build some simple circuits to test will confirm that the circuits work when mounted according to the datasheet and not as spice model.
See the attached file.