After recompiling my project from scratch I'm not getting this error anymore. It seems that the query `v.implementation' was triggering an invariant checking but now it does not.