This is exactly the problem that modular implicits will solve.  See <a href="http:&#x2F;&#x2F;arxiv.org&#x2F;pdf&#x2F;1512.01895.pdf" rel="nofollow">http:&#x2F;&#x2F;arxiv.org&#x2F;pdf&#x2F;1512.01895.pdf</a>