Started unification of State splitting approaches