refactoring rules for past and modal VPs