Changed to match CUP interaction (return symbol)