Interpretability Analysis Of Function Structures At Various Levels Of Abstraction: A User Study