[core] fixed formatter and test model after moving states from global to WorkProduct