remove a duplicate call to loadMethods

this was left over from the change in the previous commit, as we added
the unwrapped version of loadMethods call but did not notice the old
method that calls the wrapped version in SMT