You would just need to break out the gensyms to resolve the differentiation issue.