[bad] REsolve some problems when splitting