further improvements in lifting the counterexample for components