variable rename
add new debugging display function: (show-sem)