patch specifies a subdirectory. This is really only useful for testing,
eg with the option {\bf -testall}}
+\rare{-c++}{Make an extremely minimal effort to parse C++ code. Currently,
+ this is limited to allowing identifiers to contain ``::'', tilde, and
+ template invocations. Consider testing your code first with spatch
+ -type\_c to see if there are any type annotations in the code you are
+ interested in processing. If not, then it was probably not parsed.}
+
\section{Application of the semantic patch to the C code}
\subsection{Feedback at the rule level during the application of the