splittet constraints in intermidiate unification in usefull ones and currently useless ones