removed nonterms that are never referenced