The solution is simple. You need a cryptocurrency where the primitives are simple and predictable. Basically the same reason we don't use eval() on user input. This might very well mean the end for bitcoin if legal parties pick up on this.