Linux Driver Verification

A long ago when aspectator preprocessed aspects (in fact, just remove comments from them) and place them near original files, I decided to create a separate copy of kernel-rules directory for each rule-instrumentor invocation to avoid damage of original kernel-rules.
Then aspectator began to preprocess aspects on fly and this was totally useless indeed.
Nowadays aspectator again preprocesses aspects but in a more full way (with defines and includes). But it isn't a good solution to copy kernel-rules, since it occupies about 1.3 Mb now and for verifying all kernel drivers against 2 rules it's required about 7 Gb for kernel-rules copies.
So, we should force aspectator to place preprocessed aspects somewhere else (say, into a rule instrumentor working directory).