reintroduction of null-tn into the backend and other changes to the inst. load-symbol is not correct