[APE] >>>>>>>> SATA begin step [5][Elapsed: 0000 00:00:08]
[APE] *** INFO *** Explored 2 app activities.
[APE] *** INFO *** Used: 4 MB, Max: 192 MB, Available: 188 MB
[APE] *** INFO *** Create state g2s3[2,4][3]com.maubis.scarlet.base.note.creation.activity.CreateNoteActivity@271119912@Naming[3]@[W=10][A=11] for GUI tree GUITree[10@0]@g2s3[2,4][3]com.maubis.scarlet.base.note.creation.activity.CreateNoteActivity@271119912@Naming[3]@[W=10][A=11]
[APE] *** INFO *** Check under-abstracted states g2s3[2,4][3]com.maubis.scarlet.base.note.creation.activity.CreateNoteActivity@271119912@Naming[3]@[W=10][A=11]: #0
[APE] *** INFO *** Check under-abstracted states collected 2 targets for naming Naming[3]. The state is g2s3[2,4][3]com.maubis.scarlet.base.note.creation.activity.CreateNoteActivity@271119912@Naming[3]@[W=10][A=11]. #0
[APE] *** INFO *** batchAbstract: refined targets: 1, affected states: 1, threshold: 8, affected threshold.
[APE] *** INFO *** batchAbstract: refined targets: 1 <= threshold: 8 
[APE] *** INFO *** batchAbstract: affected states: 1 <= threshold: 8 
[APE] *** INFO *** Pre-checking under-abstracted states takes 0 ms
[APE] *** INFO *** Check over-abstracted states g2s3[2,4][3]com.maubis.scarlet.base.note.creation.activity.CreateNoteActivity@271119912@Naming[3]@[W=10][A=11]: #0
[APE] *** INFO *** actionRefinement: Refine name class=android.widget.ImageView;resource-id=com.bijoysingh.quicknote:id/action_move_icon;enabled=true;clickable=true; that has been resolved to 4 nodes
[APE] this:Naming[4], parent:Naming[3].
[APE]   0. [000][BASE] //*[@clickable='true' or @long-clickable='true' or @checkable='true' or @scrollable='true'] -> ActionPatchNamer[TypeNamer[type,resource-id]]
[APE]   1. [000][BASE] //*[@clickable='false' and @long-clickable='false' and @checkable='false' and @scrollable='false'] -> ActionPatchNamer[EmptyNamer]
[APE]   2. [001][REFINE] //*[@class="android.view.ViewGroup"][@resource-id=""][@enabled='true'][@clickable='true'][@checkable='false'][@long-clickable='false'][@scrollable='false'] -> ActionPatchNamer[CompoundNamer[TypeNamer[type,resource-id],IndexNamer[index]]]
[APE]   3. [001][REFINE] //*[@class="android.widget.ImageView"][@resource-id="com.bijoysingh.quicknote:id/action_move_icon"][@enabled='true'][@clickable='true'][@checkable='false'][@long-clickable='false'][@scrollable='false'] -> ActionPatchNamer[CompoundNamer[TypeNamer[type,resource-id],IndexNamer[index]]]
[APE] *** INFO *** New names: 1, try another namer.
[APE] *** INFO *** - class=android.widget.ImageView;resource-id=com.bijoysingh.quicknote:id/action_move_icon;index=0;enabled=true;clickable=true;
[APE] this:Naming[5], parent:Naming[3].
[APE]   0. [000][BASE] //*[@clickable='true' or @long-clickable='true' or @checkable='true' or @scrollable='true'] -> ActionPatchNamer[TypeNamer[type,resource-id]]
[APE]   1. [000][BASE] //*[@clickable='false' and @long-clickable='false' and @checkable='false' and @scrollable='false'] -> ActionPatchNamer[EmptyNamer]
[APE]   2. [001][REFINE] //*[@class="android.view.ViewGroup"][@resource-id=""][@enabled='true'][@clickable='true'][@checkable='false'][@long-clickable='false'][@scrollable='false'] -> ActionPatchNamer[CompoundNamer[TypeNamer[type,resource-id],IndexNamer[index]]]
[APE]   3. [001][REFINE] //*[@class="android.widget.ImageView"][@resource-id="com.bijoysingh.quicknote:id/action_move_icon"][@enabled='true'][@clickable='true'][@checkable='false'][@long-clickable='false'][@scrollable='false'] -> ActionPatchNamer[ParentNamer[TypeNamer[type,resource-id]]]
[APE] *** INFO *** New names: 1, try another namer.
[APE] *** INFO *** - enabled=true;/class=android.widget.ImageView;resource-id=com.bijoysingh.quicknote:id/action_move_icon;enabled=true;clickable=true;
[APE] this:Naming[6], parent:Naming[3].
[APE]   0. [000][BASE] //*[@clickable='true' or @long-clickable='true' or @checkable='true' or @scrollable='true'] -> ActionPatchNamer[TypeNamer[type,resource-id]]
[APE]   1. [000][BASE] //*[@clickable='false' and @long-clickable='false' and @checkable='false' and @scrollable='false'] -> ActionPatchNamer[EmptyNamer]
[APE]   2. [001][REFINE] //*[@class="android.view.ViewGroup"][@resource-id=""][@enabled='true'][@clickable='true'][@checkable='false'][@long-clickable='false'][@scrollable='false'] -> ActionPatchNamer[CompoundNamer[TypeNamer[type,resource-id],IndexNamer[index]]]
[APE]   3. [001][REFINE] //*[@class="android.widget.ImageView"][@resource-id="com.bijoysingh.quicknote:id/action_move_icon"][@enabled='true'][@clickable='true'][@checkable='false'][@long-clickable='false'][@scrollable='false'] -> ActionPatchNamer[CompoundNamer[TypeNamer[type,resource-id],TextNamer[text,content-desc]]]
[APE] *** INFO *** New names: 1, try another namer.
[APE] *** INFO *** - class=android.widget.ImageView;resource-id=com.bijoysingh.quicknote:id/action_move_icon;text=;enabled=true;clickable=true;
[APE] this:Naming[7], parent:Naming[3].
[APE]   0. [000][BASE] //*[@clickable='true' or @long-clickable='true' or @checkable='true' or @scrollable='true'] -> ActionPatchNamer[TypeNamer[type,resource-id]]
[APE]   1. [000][BASE] //*[@clickable='false' and @long-clickable='false' and @checkable='false' and @scrollable='false'] -> ActionPatchNamer[EmptyNamer]
[APE]   2. [001][REFINE] //*[@class="android.view.ViewGroup"][@resource-id=""][@enabled='true'][@clickable='true'][@checkable='false'][@long-clickable='false'][@scrollable='false'] -> ActionPatchNamer[CompoundNamer[TypeNamer[type,resource-id],IndexNamer[index]]]
[APE]   3. [001][REFINE] //*[@class="android.widget.ImageView"][@resource-id="com.bijoysingh.quicknote:id/action_move_icon"][@enabled='true'][@clickable='true'][@checkable='false'][@long-clickable='false'][@scrollable='false'] -> ActionPatchNamer[AncestorNamer[TypeNamer[type,resource-id]]]
[APE] *** INFO *** New names: 1, try another namer.
[APE] *** INFO *** - /class=android.widget.FrameLayout;enabled=true;/class=android.support.v7.widget.RecyclerView;resource-id=com.bijoysingh.quicknote:id/advanced_note_recycler;enabled=true;/class=android.widget.LinearLayout;enabled=true;/class=android.widget.ImageView;resource-id=com.bijoysingh.quicknote:id/action_move_icon;enabled=true;clickable=true;enabled=true;clickable=true;
[APE] this:Naming[8], parent:Naming[3].
[APE]   0. [000][BASE] //*[@clickable='true' or @long-clickable='true' or @checkable='true' or @scrollable='true'] -> ActionPatchNamer[TypeNamer[type,resource-id]]
[APE]   1. [000][BASE] //*[@clickable='false' and @long-clickable='false' and @checkable='false' and @scrollable='false'] -> ActionPatchNamer[EmptyNamer]
[APE]   2. [001][REFINE] //*[@class="android.view.ViewGroup"][@resource-id=""][@enabled='true'][@clickable='true'][@checkable='false'][@long-clickable='false'][@scrollable='false'] -> ActionPatchNamer[CompoundNamer[TypeNamer[type,resource-id],IndexNamer[index]]]
[APE]   3. [001][REFINE] //*[@class="android.widget.ImageView"][@resource-id="com.bijoysingh.quicknote:id/action_move_icon"][@enabled='true'][@clickable='true'][@checkable='false'][@long-clickable='false'][@scrollable='false'] -> ActionPatchNamer[ParentNamer[CompoundNamer[TypeNamer[type,resource-id],IndexNamer[index]]]]
[APE] *** INFO *** New names: 1, try another namer.
[APE] *** INFO *** - enabled=true;/class=android.widget.ImageView;resource-id=com.bijoysingh.quicknote:id/action_move_icon;index=0;enabled=true;clickable=true;
[APE] this:Naming[9], parent:Naming[3].
[APE]   0. [000][BASE] //*[@clickable='true' or @long-clickable='true' or @checkable='true' or @scrollable='true'] -> ActionPatchNamer[TypeNamer[type,resource-id]]
[APE]   1. [000][BASE] //*[@clickable='false' and @long-clickable='false' and @checkable='false' and @scrollable='false'] -> ActionPatchNamer[EmptyNamer]
[APE]   2. [001][REFINE] //*[@class="android.view.ViewGroup"][@resource-id=""][@enabled='true'][@clickable='true'][@checkable='false'][@long-clickable='false'][@scrollable='false'] -> ActionPatchNamer[CompoundNamer[TypeNamer[type,resource-id],IndexNamer[index]]]
[APE]   3. [001][REFINE] //*[@class="android.widget.ImageView"][@resource-id="com.bijoysingh.quicknote:id/action_move_icon"][@enabled='true'][@clickable='true'][@checkable='false'][@long-clickable='false'][@scrollable='false'] -> ActionPatchNamer[CompoundNamer[TypeNamer[type,resource-id],TextNamer[text,content-desc],IndexNamer[index]]]
[APE] *** INFO *** New names: 1, try another namer.
[APE] *** INFO *** - class=android.widget.ImageView;resource-id=com.bijoysingh.quicknote:id/action_move_icon;text=;index=0;enabled=true;clickable=true;
[APE] this:Naming[10], parent:Naming[3].
[APE]   0. [000][BASE] //*[@clickable='true' or @long-clickable='true' or @checkable='true' or @scrollable='true'] -> ActionPatchNamer[TypeNamer[type,resource-id]]
[APE]   1. [000][BASE] //*[@clickable='false' and @long-clickable='false' and @checkable='false' and @scrollable='false'] -> ActionPatchNamer[EmptyNamer]
[APE]   2. [001][REFINE] //*[@class="android.view.ViewGroup"][@resource-id=""][@enabled='true'][@clickable='true'][@checkable='false'][@long-clickable='false'][@scrollable='false'] -> ActionPatchNamer[CompoundNamer[TypeNamer[type,resource-id],IndexNamer[index]]]
[APE]   3. [001][REFINE] //*[@class="android.widget.ImageView"][@resource-id="com.bijoysingh.quicknote:id/action_move_icon"][@enabled='true'][@clickable='true'][@checkable='false'][@long-clickable='false'][@scrollable='false'] -> ActionPatchNamer[ParentNamer[CompoundNamer[TypeNamer[type,resource-id],TextNamer[text,content-desc]]]]
[APE] *** INFO *** New names: 1, try another namer.
[APE] *** INFO *** - enabled=true;/class=android.widget.ImageView;resource-id=com.bijoysingh.quicknote:id/action_move_icon;text=;enabled=true;clickable=true;
[APE] this:Naming[11], parent:Naming[3].
[APE]   0. [000][BASE] //*[@clickable='true' or @long-clickable='true' or @checkable='true' or @scrollable='true'] -> ActionPatchNamer[TypeNamer[type,resource-id]]
[APE]   1. [000][BASE] //*[@clickable='false' and @long-clickable='false' and @checkable='false' and @scrollable='false'] -> ActionPatchNamer[EmptyNamer]
[APE]   2. [001][REFINE] //*[@class="android.view.ViewGroup"][@resource-id=""][@enabled='true'][@clickable='true'][@checkable='false'][@long-clickable='false'][@scrollable='false'] -> ActionPatchNamer[CompoundNamer[TypeNamer[type,resource-id],IndexNamer[index]]]
[APE]   3. [001][REFINE] //*[@class="android.widget.ImageView"][@resource-id="com.bijoysingh.quicknote:id/action_move_icon"][@enabled='true'][@clickable='true'][@checkable='false'][@long-clickable='false'][@scrollable='false'] -> ActionPatchNamer[AncestorNamer[CompoundNamer[TypeNamer[type,resource-id],IndexNamer[index]]]]
[APE] *** INFO *** Rebuild document for tree #2
[APE] *** INFO *** Rebuild document for tree #3
[APE] *** INFO *** Rebuild document for tree #4
[APE] *** INFO *** Refine actions: nodes(4), new names (4), new states (3), trees(4), state threshold (8)
[APE] *** INFO *** - /class=android.widget.FrameLayout;index=0;enabled=true;/class=android.support.v7.widget.RecyclerView;resource-id=com.bijoysingh.quicknote:id/advanced_note_recycler;index=0;enabled=true;/class=android.widget.LinearLayout;index=1;enabled=true;/class=android.widget.ImageView;resource-id=com.bijoysingh.quicknote:id/action_move_icon;index=0;enabled=true;clickable=true;enabled=true;clickable=true;
[APE] *** INFO *** - /class=android.widget.FrameLayout;index=0;enabled=true;/class=android.support.v7.widget.RecyclerView;resource-id=com.bijoysingh.quicknote:id/advanced_note_recycler;index=0;enabled=true;/class=android.widget.LinearLayout;index=2;enabled=true;/class=android.widget.ImageView;resource-id=com.bijoysingh.quicknote:id/action_move_icon;index=0;enabled=true;clickable=true;enabled=true;clickable=true;
[APE] *** INFO *** - /class=android.widget.FrameLayout;index=0;enabled=true;/class=android.support.v7.widget.RecyclerView;resource-id=com.bijoysingh.quicknote:id/advanced_note_recycler;index=0;enabled=true;/class=android.widget.LinearLayout;index=3;enabled=true;/class=android.widget.ImageView;resource-id=com.bijoysingh.quicknote:id/action_move_icon;index=0;enabled=true;clickable=true;enabled=true;clickable=true;
[APE] *** INFO *** - /class=android.widget.FrameLayout;index=0;enabled=true;/class=android.support.v7.widget.RecyclerView;resource-id=com.bijoysingh.quicknote:id/advanced_note_recycler;index=0;enabled=true;/class=android.widget.LinearLayout;index=0;enabled=true;/class=android.widget.ImageView;resource-id=com.bijoysingh.quicknote:id/action_move_icon;index=0;enabled=true;clickable=true;enabled=true;clickable=true;
[APE] *** INFO *** Update naming for GUITree[7@2]@g2s3[2,4][3]com.maubis.scarlet.base.note.creation.activity.CreateNoteActivity@271119912@Naming[3]@[W=10][A=11]: existing in dict: Naming[3], current in tree: Naming[3], check in graph: Naming[3], new: Naming[11]
[APE] *** INFO *** getNaming for tree GUITree[7@2]@g2s3[2,4][3]com.maubis.scarlet.base.note.creation.activity.CreateNoteActivity@271119912@Naming[3]@[W=10][A=11]: Source: Naming[0], Target: Naming[3], State: com.maubis.scarlet.base.note.creation.activity.CreateNoteActivity@-1505879614@Naming[0]@[W=4]
[APE] *** INFO *** getNaming for tree GUITree[7@2]@g2s3[2,4][3]com.maubis.scarlet.base.note.creation.activity.CreateNoteActivity@271119912@Naming[3]@[W=10][A=11]: Source: Naming[3], Target: null, State: com.maubis.scarlet.base.note.creation.activity.CreateNoteActivity@271119912@Naming[3]@[W=10]
[APE] *** INFO *** updateNaming: Add - Source: Naming[3], Target: Naming[11], State: com.maubis.scarlet.base.note.creation.activity.CreateNoteActivity@271119912@Naming[3]@[W=10]
[APE] *** INFO *** Update naming for GUITree[8@3]@g2s3[2,4][3]com.maubis.scarlet.base.note.creation.activity.CreateNoteActivity@271119912@Naming[3]@[W=10][A=11]: existing in dict: Naming[3], current in tree: Naming[3], check in graph: Naming[11], new: Naming[11]
[APE] *** INFO *** getNaming for tree GUITree[8@3]@g2s3[2,4][3]com.maubis.scarlet.base.note.creation.activity.CreateNoteActivity@271119912@Naming[3]@[W=10][A=11]: Source: Naming[0], Target: Naming[3], State: com.maubis.scarlet.base.note.creation.activity.CreateNoteActivity@-1505879614@Naming[0]@[W=4]
[APE] *** INFO *** getNaming for tree GUITree[8@3]@g2s3[2,4][3]com.maubis.scarlet.base.note.creation.activity.CreateNoteActivity@271119912@Naming[3]@[W=10][A=11]: Source: Naming[3], Target: Naming[11], State: com.maubis.scarlet.base.note.creation.activity.CreateNoteActivity@271119912@Naming[3]@[W=10]
[APE] *** INFO *** getNaming for tree GUITree[8@3]@g2s3[2,4][3]com.maubis.scarlet.base.note.creation.activity.CreateNoteActivity@271119912@Naming[3]@[W=10][A=11]: Source: Naming[11], Target: null, State: com.maubis.scarlet.base.note.creation.activity.CreateNoteActivity@939956402@Naming[11]@[W=12]
[APE] *** INFO *** Update naming for GUITree[9@4]@g2s3[2,4][3]com.maubis.scarlet.base.note.creation.activity.CreateNoteActivity@271119912@Naming[3]@[W=10][A=11]: existing in dict: Naming[3], current in tree: Naming[3], check in graph: Naming[11], new: Naming[11]
[APE] *** INFO *** getNaming for tree GUITree[9@4]@g2s3[2,4][3]com.maubis.scarlet.base.note.creation.activity.CreateNoteActivity@271119912@Naming[3]@[W=10][A=11]: Source: Naming[0], Target: Naming[3], State: com.maubis.scarlet.base.note.creation.activity.CreateNoteActivity@-1505879614@Naming[0]@[W=4]
[APE] *** INFO *** getNaming for tree GUITree[9@4]@g2s3[2,4][3]com.maubis.scarlet.base.note.creation.activity.CreateNoteActivity@271119912@Naming[3]@[W=10][A=11]: Source: Naming[3], Target: Naming[11], State: com.maubis.scarlet.base.note.creation.activity.CreateNoteActivity@271119912@Naming[3]@[W=10]
[APE] *** INFO *** getNaming for tree GUITree[9@4]@g2s3[2,4][3]com.maubis.scarlet.base.note.creation.activity.CreateNoteActivity@271119912@Naming[3]@[W=10][A=11]: Source: Naming[11], Target: null, State: com.maubis.scarlet.base.note.creation.activity.CreateNoteActivity@939956402@Naming[11]@[W=12]
[APE] *** INFO *** Update naming for GUITree[10@5]@g2s3[2,4][3]com.maubis.scarlet.base.note.creation.activity.CreateNoteActivity@271119912@Naming[3]@[W=10][A=11]: existing in dict: Naming[3], current in tree: Naming[3], check in graph: Naming[11], new: Naming[11]
[APE] *** INFO *** getNaming for tree GUITree[10@5]@g2s3[2,4][3]com.maubis.scarlet.base.note.creation.activity.CreateNoteActivity@271119912@Naming[3]@[W=10][A=11]: Source: Naming[0], Target: Naming[3], State: com.maubis.scarlet.base.note.creation.activity.CreateNoteActivity@-1505879614@Naming[0]@[W=4]
[APE] *** INFO *** getNaming for tree GUITree[10@5]@g2s3[2,4][3]com.maubis.scarlet.base.note.creation.activity.CreateNoteActivity@271119912@Naming[3]@[W=10][A=11]: Source: Naming[3], Target: Naming[11], State: com.maubis.scarlet.base.note.creation.activity.CreateNoteActivity@271119912@Naming[3]@[W=10]
[APE] *** INFO *** getNaming for tree GUITree[10@5]@g2s3[2,4][3]com.maubis.scarlet.base.note.creation.activity.CreateNoteActivity@271119912@Naming[3]@[W=10][A=11]: Source: Naming[11], Target: null, State: com.maubis.scarlet.base.note.creation.activity.CreateNoteActivity@963577841@Naming[11]@[W=13]
[APE] *** INFO *** Start rebuilding model... 
[APE] *** INFO *** > Removing state g2s3[2,4][3]com.maubis.scarlet.base.note.creation.activity.CreateNoteActivity@271119912@Naming[3]@[W=10][A=11]
[APE] *** INFO *** > Removing (1) old states and (3) transitions finished in 0 ms.
[APE] *** INFO *** >> state: g2s3[2,4][3]com.maubis.scarlet.base.note.creation.activity.CreateNoteActivity@271119912@Naming[3]@[W=10][A=11]
[APE] *** INFO *** >> transition: (g2s3,g2a25,g2s3)
[APE] *** INFO *** >> transition: (g2s3,g2a23,g2s3)
[APE] *** INFO *** >> transition: (g1s1,g1a8,g2s3)
[APE] *** INFO *** > rebuilding tree #2
[APE] *** INFO *** Create state g3s4[-1,0][0]com.maubis.scarlet.base.note.creation.activity.CreateNoteActivity@2060489890@Naming[11]@[W=11][A=12] for GUI tree GUITree[7@2]@g3s4[-1,0][0]com.maubis.scarlet.base.note.creation.activity.CreateNoteActivity@2060489890@Naming[11]@[W=11][A=12]
[APE] *** INFO *** > rebuilding tree #3
[APE] *** INFO *** Create state g3s5[-1,0][0]com.maubis.scarlet.base.note.creation.activity.CreateNoteActivity@939956402@Naming[11]@[W=12][A=13] for GUI tree GUITree[8@3]@g3s5[-1,0][0]com.maubis.scarlet.base.note.creation.activity.CreateNoteActivity@939956402@Naming[11]@[W=12][A=13]
[APE] *** INFO *** > rebuilding tree #4
[APE] *** INFO *** Create state g3s5[-1,0][0]com.maubis.scarlet.base.note.creation.activity.CreateNoteActivity@939956402@Naming[11]@[W=12][A=13] for GUI tree GUITree[9@4]@g3s5[-1,0][0]com.maubis.scarlet.base.note.creation.activity.CreateNoteActivity@939956402@Naming[11]@[W=12][A=13]
[APE] *** INFO *** > rebuilding tree #5
[APE] *** INFO *** Create state g3s6[-1,0][0]com.maubis.scarlet.base.note.creation.activity.CreateNoteActivity@963577841@Naming[11]@[W=13][A=14] for GUI tree GUITree[10@5]@g3s6[-1,0][0]com.maubis.scarlet.base.note.creation.activity.CreateNoteActivity@963577841@Naming[11]@[W=13][A=14]
[APE] *** INFO *** > Readding transitions finished in 0 ms.
[APE] *** INFO *** Rebuilding model finished in 1 ms, removed 1 states and 3 state transitions, and rebuild 3 tree transitions.
[APE] *** INFO *** Action refinement takes 83 ms.
[APE] *** INFO *** Check over-abstracted states g3s6[-1,0][0]com.maubis.scarlet.base.note.creation.activity.CreateNoteActivity@963577841@Naming[11]@[W=13][A=14]: #1
[APE] *** INFO *** actionRefinement: Refine name class=android.widget.EditText;resource-id=com.bijoysingh.quicknote:id/edit;enabled=true;clickable=true;long-clickable=true; that has been resolved to 4 nodes
[APE] this:Naming[12], parent:Naming[11].
[APE]   0. [000][BASE] //*[@clickable='true' or @long-clickable='true' or @checkable='true' or @scrollable='true'] -> ActionPatchNamer[TypeNamer[type,resource-id]]
[APE]   1. [000][BASE] //*[@clickable='false' and @long-clickable='false' and @checkable='false' and @scrollable='false'] -> ActionPatchNamer[EmptyNamer]
[APE]   2. [001][REFINE] //*[@class="android.view.ViewGroup"][@resource-id=""][@enabled='true'][@clickable='true'][@checkable='false'][@long-clickable='false'][@scrollable='false'] -> ActionPatchNamer[CompoundNamer[TypeNamer[type,resource-id],IndexNamer[index]]]
[APE]   3. [001][REFINE] //*[@class="android.widget.ImageView"][@resource-id="com.bijoysingh.quicknote:id/action_move_icon"][@enabled='true'][@clickable='true'][@checkable='false'][@long-clickable='false'][@scrollable='false'] -> ActionPatchNamer[AncestorNamer[CompoundNamer[TypeNamer[type,resource-id],IndexNamer[index]]]]
[APE]   4. [001][REFINE] //*[@class="android.widget.EditText"][@resource-id="com.bijoysingh.quicknote:id/edit"][@enabled='true'][@clickable='true'][@checkable='false'][@long-clickable='true'][@scrollable='false'] -> ActionPatchNamer[CompoundNamer[TypeNamer[type,resource-id],IndexNamer[index]]]
[APE] *** INFO *** New names: 1, try another namer.
[APE] *** INFO *** - class=android.widget.EditText;resource-id=com.bijoysingh.quicknote:id/edit;index=1;enabled=true;clickable=true;long-clickable=true;
[APE] this:Naming[13], parent:Naming[11].
[APE]   0. [000][BASE] //*[@clickable='true' or @long-clickable='true' or @checkable='true' or @scrollable='true'] -> ActionPatchNamer[TypeNamer[type,resource-id]]
[APE]   1. [000][BASE] //*[@clickable='false' and @long-clickable='false' and @checkable='false' and @scrollable='false'] -> ActionPatchNamer[EmptyNamer]
[APE]   2. [001][REFINE] //*[@class="android.view.ViewGroup"][@resource-id=""][@enabled='true'][@clickable='true'][@checkable='false'][@long-clickable='false'][@scrollable='false'] -> ActionPatchNamer[CompoundNamer[TypeNamer[type,resource-id],IndexNamer[index]]]
[APE]   3. [001][REFINE] //*[@class="android.widget.ImageView"][@resource-id="com.bijoysingh.quicknote:id/action_move_icon"][@enabled='true'][@clickable='true'][@checkable='false'][@long-clickable='false'][@scrollable='false'] -> ActionPatchNamer[AncestorNamer[CompoundNamer[TypeNamer[type,resource-id],IndexNamer[index]]]]
[APE]   4. [001][REFINE] //*[@class="android.widget.EditText"][@resource-id="com.bijoysingh.quicknote:id/edit"][@enabled='true'][@clickable='true'][@checkable='false'][@long-clickable='true'][@scrollable='false'] -> ActionPatchNamer[ParentNamer[TypeNamer[type,resource-id]]]
[APE] *** INFO *** New names: 1, try another namer.
[APE] *** INFO *** - enabled=true;/class=android.widget.EditText;resource-id=com.bijoysingh.quicknote:id/edit;enabled=true;clickable=true;long-clickable=true;
[APE] this:Naming[14], parent:Naming[11].
[APE]   0. [000][BASE] //*[@clickable='true' or @long-clickable='true' or @checkable='true' or @scrollable='true'] -> ActionPatchNamer[TypeNamer[type,resource-id]]
[APE]   1. [000][BASE] //*[@clickable='false' and @long-clickable='false' and @checkable='false' and @scrollable='false'] -> ActionPatchNamer[EmptyNamer]
[APE]   2. [001][REFINE] //*[@class="android.view.ViewGroup"][@resource-id=""][@enabled='true'][@clickable='true'][@checkable='false'][@long-clickable='false'][@scrollable='false'] -> ActionPatchNamer[CompoundNamer[TypeNamer[type,resource-id],IndexNamer[index]]]
[APE]   3. [001][REFINE] //*[@class="android.widget.ImageView"][@resource-id="com.bijoysingh.quicknote:id/action_move_icon"][@enabled='true'][@clickable='true'][@checkable='false'][@long-clickable='false'][@scrollable='false'] -> ActionPatchNamer[AncestorNamer[CompoundNamer[TypeNamer[type,resource-id],IndexNamer[index]]]]
[APE]   4. [001][REFINE] //*[@class="android.widget.EditText"][@resource-id="com.bijoysingh.quicknote:id/edit"][@enabled='true'][@clickable='true'][@checkable='false'][@long-clickable='true'][@scrollable='false'] -> ActionPatchNamer[CompoundNamer[TypeNamer[type,resource-id],TextNamer[text,content-desc]]]
[APE] *** INFO *** Refine actions: nodes(4), new names (3), new states (1), trees(1), state threshold (8)
[APE] *** INFO *** - class=android.widget.EditText;resource-id=com.bijoysingh.quicknote:id/edit;text=Add Cont;enabled=true;clickable=true;long-clickable=true;
[APE] *** INFO *** - class=android.widget.EditText;resource-id=com.bijoysingh.quicknote:id/edit;text=Add Head;enabled=true;clickable=true;long-clickable=true;
[APE] *** INFO *** - class=android.widget.EditText;resource-id=com.bijoysingh.quicknote:id/edit;text=Add Quot;enabled=true;clickable=true;long-clickable=true;
[APE] *** INFO *** Update naming for GUITree[10@5]@g3s6[-1,0][0]com.maubis.scarlet.base.note.creation.activity.CreateNoteActivity@963577841@Naming[11]@[W=13][A=14]: existing in dict: Naming[11], current in tree: Naming[11], check in graph: Naming[11], new: Naming[14]
[APE] *** INFO *** getNaming for tree GUITree[10@5]@g3s6[-1,0][0]com.maubis.scarlet.base.note.creation.activity.CreateNoteActivity@963577841@Naming[11]@[W=13][A=14]: Source: Naming[0], Target: Naming[3], State: com.maubis.scarlet.base.note.creation.activity.CreateNoteActivity@-1505879614@Naming[0]@[W=4]
[APE] *** INFO *** getNaming for tree GUITree[10@5]@g3s6[-1,0][0]com.maubis.scarlet.base.note.creation.activity.CreateNoteActivity@963577841@Naming[11]@[W=13][A=14]: Source: Naming[3], Target: Naming[11], State: com.maubis.scarlet.base.note.creation.activity.CreateNoteActivity@271119912@Naming[3]@[W=10]
[APE] *** INFO *** getNaming for tree GUITree[10@5]@g3s6[-1,0][0]com.maubis.scarlet.base.note.creation.activity.CreateNoteActivity@963577841@Naming[11]@[W=13][A=14]: Source: Naming[11], Target: null, State: com.maubis.scarlet.base.note.creation.activity.CreateNoteActivity@963577841@Naming[11]@[W=13]
[APE] *** INFO *** updateNaming: Add - Source: Naming[11], Target: Naming[14], State: com.maubis.scarlet.base.note.creation.activity.CreateNoteActivity@963577841@Naming[11]@[W=13]
[APE] *** INFO *** Start rebuilding model... 
[APE] *** INFO *** > Removing state g3s6[-1,0][0]com.maubis.scarlet.base.note.creation.activity.CreateNoteActivity@963577841@Naming[11]@[W=13][A=14]
[APE] *** INFO *** > Removing (1) old states and (0) transitions finished in 0 ms.
[APE] *** INFO *** >> state: g3s6[-1,0][0]com.maubis.scarlet.base.note.creation.activity.CreateNoteActivity@963577841@Naming[11]@[W=13][A=14]
[APE] *** INFO *** > rebuilding tree #5
[APE] *** INFO *** Create state g4s7[-1,0][0]com.maubis.scarlet.base.note.creation.activity.CreateNoteActivity@371740680@Naming[14]@[W=15][A=18] for GUI tree GUITree[10@5]@g4s7[-1,0][0]com.maubis.scarlet.base.note.creation.activity.CreateNoteActivity@371740680@Naming[14]@[W=15][A=18]
[APE] *** INFO *** > Readding transitions finished in 0 ms.
[APE] *** INFO *** Rebuilding model finished in 0 ms, removed 1 states and 0 state transitions, and rebuild 0 tree transitions.
[APE] *** INFO *** Action refinement takes 24 ms.
[APE] *** INFO *** Check over-abstracted states g4s7[-1,0][0]com.maubis.scarlet.base.note.creation.activity.CreateNoteActivity@371740680@Naming[14]@[W=15][A=18]: #2
[APE] *** INFO *** Checking over-abstracted states takes 120 ms
[APE] *** INFO *** Check under-abstracted states g4s7[-1,0][0]com.maubis.scarlet.base.note.creation.activity.CreateNoteActivity@371740680@Naming[14]@[W=15][A=18]: #0
[APE] *** INFO *** Check under-abstracted states collected 1 targets for naming Naming[14]. The state is g4s7[-1,0][0]com.maubis.scarlet.base.note.creation.activity.CreateNoteActivity@371740680@Naming[14]@[W=15][A=18]. #0
[APE] *** INFO *** batchAbstract: refined targets: 1, affected states: 1, threshold: 8, affected threshold.
[APE] *** INFO *** batchAbstract: refined targets: 1 <= threshold: 8 
[APE] *** INFO *** batchAbstract: affected states: 1 <= threshold: 8 
[APE] *** INFO *** Check under-abstracted states collected 3 targets for naming Naming[11]. The state is g4s7[-1,0][0]com.maubis.scarlet.base.note.creation.activity.CreateNoteActivity@371740680@Naming[14]@[W=15][A=18]. #1
[APE] *** INFO *** batchAbstract: refined targets: 3, affected states: 3, threshold: 8, affected threshold.
[APE] *** INFO *** batchAbstract: refined targets: 3 <= threshold: 8 
[APE] *** INFO *** batchAbstract: affected states: 3 <= threshold: 8 
[APE] *** INFO *** Check under-abstracted states collected 4 targets for naming Naming[3]. The state is g4s7[-1,0][0]com.maubis.scarlet.base.note.creation.activity.CreateNoteActivity@371740680@Naming[14]@[W=15][A=18]. #2
[APE] *** INFO *** batchAbstract: refined targets: 1, affected states: 3, threshold: 8, affected threshold.
[APE] *** INFO *** batchAbstract: refined targets: 1 <= threshold: 8 
[APE] *** INFO *** batchAbstract: affected states: 3 <= threshold: 8 
[APE] *** INFO *** Post-checking under-abstracted states takes 1 ms
[APE] === Adding edge...
[APE]     Source: g3s5[3,3][1]com.maubis.scarlet.base.note.creation.activity.CreateNoteActivity@939956402@Naming[11]@[W=12][A=13]
[APE]     Action: g3a43[-1,0][0]@MODEL_CLICKclass=android.view.ViewGroup;index=1;enabled=true;clickable=true;[P=0][T=0][, INVALID, UNVISITED]
[APE]     Target: g4s7[5,5][1]com.maubis.scarlet.base.note.creation.activity.CreateNoteActivity@371740680@Naming[14]@[W=15][A=18]
[APE]     Add target result: true
[APE] GSTG(g4): activities (2), states (4), edges (4), unvisited actions (49), visited actions (3)
[APE] *** INFO *** -  0.11   1 com.maubis.scarlet.base.MainActivity[1,1][2][S=1]
[APE] *** INFO *** -  0.05   3 com.maubis.scarlet.base.note.creation.activity.CreateNoteActivity[2,5][6][S=3]
[APE] GSTG is updated.
[APE] GSTG state is changed.
[APE] Graph Stable Counter: graph (0), state (0), activity (3)
[APE] Sata Strategy: buffer size (0)
[APE]      0  TRIVIAL_ACTIVITY
[APE]      0  SATURATED_STATE
[APE]      0  USE_BUFFER
[APE]      4  EARLY_STAGE
[APE]      0  EPSILON_GREEDY
[APE]      0  RANDOM
[APE]      0  NULL
[APE]      0  BUFFER_LOSS
[APE]      0  FILL_BUFFER
[APE]      0  BAD_STATE
[APE]      0  PROBE
[APE]     1 g4a70[-1,0][0]@MODEL_CLICKclass=android.view.ViewGroup;index=1;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][22,2211,127,2316][]
[APE]     2 g4a71[-1,0][0]@MODEL_CLICKclass=android.view.ViewGroup;index=2;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][149,2211,254,2316][]
[APE]     3 g4a72[-1,0][0]@MODEL_CLICKclass=android.view.ViewGroup;index=3;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][276,2211,381,2316][]
[APE]     4 g4a73[-1,0][0]@MODEL_CLICKclass=android.view.ViewGroup;index=4;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][403,2211,508,2316][]
[APE]     5 g4a74[-1,0][0]@MODEL_CLICKclass=android.view.ViewGroup;index=5;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][519,2190,646,2337][]
[APE]     6 g4a75[-1,0][0]@MODEL_CLICKclass=android.view.ViewGroup;index=6;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][815,2190,942,2337][]
[APE]     7 g4a76[-1,0][0]@MODEL_CLICKclass=android.view.ViewGroup;index=7;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][942,2190,1069,2337][]
[APE]     8 g4a77[-1,0][0]@MODEL_CLICK/class=android.widget.FrameLayout;index=0;enabled=true;/class=android.support.v7.widget.RecyclerView;resource-id=com.bijoysingh.quicknote:id/advanced_note_recycler;index=0;enabled=true;/class=android.widget.LinearLayout;index=0;enabled=true;/class=android.widget.ImageView;resource-id=com.bijoysingh.quicknote:id/action_move_icon;index=0;enabled=true;clickable=true;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][0,89,63,274][]
[APE]     9 g4a78[-1,0][0]@MODEL_CLICK/class=android.widget.FrameLayout;index=0;enabled=true;/class=android.support.v7.widget.RecyclerView;resource-id=com.bijoysingh.quicknote:id/advanced_note_recycler;index=0;enabled=true;/class=android.widget.LinearLayout;index=1;enabled=true;/class=android.widget.ImageView;resource-id=com.bijoysingh.quicknote:id/action_move_icon;index=0;enabled=true;clickable=true;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][0,274,63,541][]
[APE]    10 g4a79[-1,0][0]@MODEL_CLICK/class=android.widget.FrameLayout;index=0;enabled=true;/class=android.support.v7.widget.RecyclerView;resource-id=com.bijoysingh.quicknote:id/advanced_note_recycler;index=0;enabled=true;/class=android.widget.LinearLayout;index=2;enabled=true;/class=android.widget.ImageView;resource-id=com.bijoysingh.quicknote:id/action_move_icon;index=0;enabled=true;clickable=true;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][0,541,63,726][]
[APE]    11 g4a80[-1,0][0]@MODEL_CLICK/class=android.widget.FrameLayout;index=0;enabled=true;/class=android.support.v7.widget.RecyclerView;resource-id=com.bijoysingh.quicknote:id/advanced_note_recycler;index=0;enabled=true;/class=android.widget.LinearLayout;index=3;enabled=true;/class=android.widget.ImageView;resource-id=com.bijoysingh.quicknote:id/action_move_icon;index=0;enabled=true;clickable=true;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][0,726,63,847][]
[APE]    12 g4a81[-1,0][0]@MODEL_CLICKclass=android.widget.EditText;resource-id=com.bijoysingh.quicknote:id/edit;text=Add Head;enabled=true;clickable=true;long-clickable=true;[P=60][T=200][, UNVISITED][S=0.000000][RN=2][74,541,1069,726][Add Head]
[APE]    13 g4a82[-1,0][0]@MODEL_LONG_CLICKclass=android.widget.EditText;resource-id=com.bijoysingh.quicknote:id/edit;text=Add Head;enabled=true;clickable=true;long-clickable=true;[P=40][T=200][, UNVISITED][S=0.000000][RN=2][74,89,1069,274][Add Head]
[APE]    14 g4a83[-1,0][0]@MODEL_CLICKclass=android.widget.EditText;resource-id=com.bijoysingh.quicknote:id/edit;text=Add Cont;enabled=true;clickable=true;long-clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][74,274,1069,541][Add Cont]
[APE]    15 g4a84[-1,0][0]@MODEL_LONG_CLICKclass=android.widget.EditText;resource-id=com.bijoysingh.quicknote:id/edit;text=Add Cont;enabled=true;clickable=true;long-clickable=true;[P=36][T=200][, UNVISITED][S=0.000000][RN=1][74,274,1069,541][Add Cont]
[APE]    16 g4a85[-1,0][0]@MODEL_CLICKclass=android.widget.EditText;resource-id=com.bijoysingh.quicknote:id/edit;text=Add Quot;enabled=true;clickable=true;long-clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][135,726,1069,847][Add Quot]
[APE]    17 g4a86[-1,0][0]@MODEL_LONG_CLICKclass=android.widget.EditText;resource-id=com.bijoysingh.quicknote:id/edit;text=Add Quot;enabled=true;clickable=true;long-clickable=true;[P=36][T=200][, UNVISITED][S=0.000000][RN=1][135,726,1069,847][Add Quot]
[APE]    18 g4a87[-1,0][0]@MODEL_BACKg4s7[5,5][1]com.maubis.scarlet.base.note.creation.activity.CreateNoteActivity@371740680@Naming[14]@[W=15][A=18][P=13][T=200][, UNVISITED]
[APE] *** INFO *** Check global actions.
[APE] *** INFO *** - g4a70[-1,0][0]@MODEL_CLICKclass=android.view.ViewGroup;index=1;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][22,2211,127,2316][]
[APE] *** INFO *** - g4a73[-1,0][0]@MODEL_CLICKclass=android.view.ViewGroup;index=4;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][403,2211,508,2316][]
[APE] *** INFO *** Check A*BA->B, try to move from A to B.
[APE] *** INFO *** > - A: g4s7[5,5][1]com.maubis.scarlet.base.note.creation.activity.CreateNoteActivity@371740680@Naming[14]@[W=15][A=18]
[APE] *** INFO *** > - B: g3s5[3,3][1]com.maubis.scarlet.base.note.creation.activity.CreateNoteActivity@939956402@Naming[11]@[W=12][A=13]
[APE] *** INFO *** Never move from a cold state (g4s7[5,5][1]com.maubis.scarlet.base.note.creation.activity.CreateNoteActivity@371740680@Naming[14]@[W=15][A=18]) to a hot state (g3s5[3,3][1]com.maubis.scarlet.base.note.creation.activity.CreateNoteActivity@939956402@Naming[11]@[W=12][A=13]) in ABA.
[APE] *** INFO *** Find a greedy action in 0-step
[APE] *** INFO *** Requesting disabling restart.
[APE] *** INFO *** Select action g4a79[-1,0][0]@MODEL_CLICK/class=android.widget.FrameLayout;index=0;enabled=true;/class=android.support.v7.widget.RecyclerView;resource-id=com.bijoysingh.quicknote:id/advanced_note_recycler;index=0;enabled=true;/class=android.widget.LinearLayout;index=2;enabled=true;/class=android.widget.ImageView;resource-id=com.bijoysingh.quicknote:id/action_move_icon;index=0;enabled=true;clickable=true;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][0,541,63,726][] by strategy EARLY_STAGE
[APE] Last  state: g3s5[3,3][1]com.maubis.scarlet.base.note.creation.activity.CreateNoteActivity@939956402@Naming[11]@[W=12][A=13]
[APE] Last action: g3a47[3,3][1]@MODEL_CLICKclass=android.widget.EditText;resource-id=com.bijoysingh.quicknote:id/edit;enabled=true;clickable=true;long-clickable=true;[P=0][T=0][, INVALID]
[APE] Curr  state: g3s5[3,3][1]com.maubis.scarlet.base.note.creation.activity.CreateNoteActivity@939956402@Naming[11]@[W=12][A=13]
[APE] Curr action: g3a43[-1,0][0]@MODEL_CLICKclass=android.view.ViewGroup;index=1;enabled=true;clickable=true;[P=0][T=0][, INVALID, UNVISITED]
[APE] New   state: g4s7[5,5][1]com.maubis.scarlet.base.note.creation.activity.CreateNoteActivity@371740680@Naming[14]@[W=15][A=18]
[APE] New  action: g4a79[5,5][1]@MODEL_CLICK/class=android.widget.FrameLayout;index=0;enabled=true;/class=android.support.v7.widget.RecyclerView;resource-id=com.bijoysingh.quicknote:id/advanced_note_recycler;index=0;enabled=true;/class=android.widget.LinearLayout;index=2;enabled=true;/class=android.widget.ImageView;resource-id=com.bijoysingh.quicknote:id/action_move_icon;index=0;enabled=true;clickable=true;enabled=true;clickable=true;[P=52][T=200][][S=0.000000][RN=1][0,541,63,726][]
[APE] >>>>>>>> SATA end step [5]
[APE] *** INFO *** EXECUTE action_fp=type=MODEL_CLICK|activity=com.maubis.scarlet.base.note.creation.activity.CreateNoteActivity|class=android.widget.ImageView|text=|resource_id=com.bijoysingh.quicknote:id/action_move_icon|bounds=0,541,63,726 target_fp=activity=com.maubis.scarlet.base.note.creation.activity.CreateNoteActivity|class=android.widget.ImageView|text=|resource_id=com.bijoysingh.quicknote:id/action_move_icon action=g4a79[5,5][1]@MODEL_CLICK/class=android.widget.FrameLayout;index=0;enabled=true;/class=android.support.v7.widget.RecyclerView;resource-id=com.bijoysingh.quicknote:id/advanced_note_recycler;index=0;enabled=true;/class=android.widget.LinearLayout;index=2;enabled=true;/class=android.widget.ImageView;resource-id=com.bijoysingh.quicknote:id/action_move_icon;index=0;enabled=true;clickable=true;enabled=true;clickable=true;[P=52][T=200][][S=0.000000][RN=1][0,541,63,726][]
:Sending Touch (ACTION_DOWN): 0:(31.5,633.5)
:Sending Touch (ACTION_UP): 0:(31.5,633.5)