Test for symbol in the function application position
todo: error handling
some commenting