Refactoring on states and goal limitations by removals