Added more vertical fusion cases
Vertical Fusion with effectful producer not working because MC(Reflect(Singleton)) doesn't pass check for indep. of result from effects