Emitting non-interference constraints and properly resolving coverage and interference for invoke effects (as well as some code fixes)