Handling non-symbolic terminals