Processing file cs-g4.txt using constraint rules consecutive.pl % library(swi_hooks) compiled into pce_swi_hooks 0.00 sec, 3,928 bytes % learned_temp compiled 0.00 sec, 10,408 bytes Consecutive constraints Processing file fm-g1.txt using constraint rules consecutive.pl % library(swi_hooks) compiled into pce_swi_hooks 0.00 sec, 3,928 bytes % learned_temp compiled 0.00 sec, 3,192 bytes Consecutive constraints 'Automatic Layout' cannot precede 'Redo' (inference error = 0%; i.e., 0 of 9) 'Blinking Node' cannot precede 'Redo' (inference error = 0%; i.e., 0 of 9) 'Show Icon Hierarchically' cannot precede 'Redo' (inference error = 0%; i.e., 0 of 9) *** ADVICE: Event 'Redo' appears 3 times in 3 CONSECUTIVE invariants; may be indicative of another invariant. Processing file fm-g2.txt using constraint rules consecutive.pl % library(swi_hooks) compiled into pce_swi_hooks 0.00 sec, 3,928 bytes % learned_temp compiled 0.00 sec, 608 bytes Consecutive constraints Processing file fm-g4.txt using constraint rules consecutive.pl % library(swi_hooks) compiled into pce_swi_hooks 0.00 sec, 3,928 bytes % learned_temp compiled 0.00 sec, 2,664 bytes Consecutive constraints 'Paste' cannot precede 'Redo' (inference error = 0%; i.e., 0 of 9) Processing file tpa-g4.txt using constraint rules consecutive.pl % library(swi_hooks) compiled into pce_swi_hooks 0.00 sec, 3,928 bytes % learned_temp compiled 0.00 sec, 624 bytes Consecutive constraints 'Select All' cannot precede 'Copy to' (inference error = 22.22222222222222%; i.e., 2 of 9) Error due to missing tuples: [inf(p('Select All',8),p('Copy to',9)),inf(p('Select All',7),p('Copy to',8))] Seen tuples: [inf(p('Select All',6),p('Copy to',7)),inf(p('Select All',5),p('Copy to',6)),inf(p('Select All',4),p('Copy to',5)),inf(p('Select All',3),p('Copy to',4)),inf(p('Select All',2),p('Copy to',3)),inf(p('Select All',1),p('Copy to',2)),inf(p('Select All',0),p('Copy to',1))] Processing file tpr-g5.txt using constraint rules consecutive.pl % library(swi_hooks) compiled into pce_swi_hooks 0.00 sec, 3,928 bytes % learned_temp compiled 0.00 sec, 1,152 bytes Consecutive constraints 'Open' cannot precede 'Open' (inference error = 22.22222222222222%; i.e., 2 of 9) Error due to missing tuples: [inf(p('Open',8),p('Open',9)),inf(p('Open',7),p('Open',8))] Seen tuples: [inf(p('Open',6),p('Open',7)),inf(p('Open',5),p('Open',6)),inf(p('Open',4),p('Open',5)),inf(p('Open',3),p('Open',4)),inf(p('Open',2),p('Open',3)),inf(p('Open',1),p('Open',2)),inf(p('Open',0),p('Open',1))] 'Open' cannot precede 'Save' (inference error = 0%; i.e., 0 of 9) 'Save' cannot precede 'Save' (inference error = 0%; i.e., 0 of 9) 'Save as' cannot precede 'Save' (inference error = 0%; i.e., 0 of 9) *** ADVICE: Event 'Open' appears in 2 of 3 DIFFERENT invariants; may be indicative of another invariant. *** ADVICE: Event 'Save' appears in 2 of 3 DIFFERENT invariants; may be indicative of another invariant. *** ADVICE: Event 'Open' appears 3 times in 4 CONSECUTIVE invariants; may be indicative of another invariant. *** ADVICE: Event 'Save' appears 4 times in 4 CONSECUTIVE invariants; may be indicative of another invariant. Processing file ts-g1.txt using constraint rules consecutive.pl % library(swi_hooks) compiled into pce_swi_hooks 0.00 sec, 3,928 bytes % learned_temp compiled 0.00 sec, 768 bytes Consecutive constraints Processing file ts-g5.txt using constraint rules consecutive.pl % library(swi_hooks) compiled into pce_swi_hooks 0.00 sec, 3,928 bytes % learned_temp compiled 0.00 sec, 768 bytes Consecutive constraints Processing file tw-g1.txt using constraint rules consecutive.pl % library(swi_hooks) compiled into pce_swi_hooks 0.00 sec, 3,928 bytes % learned_temp compiled 0.00 sec, 5,304 bytes Consecutive constraints 'Insert Table' cannot precede 'Redo' (inference error = 0%; i.e., 0 of 9) 'Append row' cannot precede 'Redo' (inference error = 0%; i.e., 0 of 9) 'Append col' cannot precede 'Redo' (inference error = 0%; i.e., 0 of 9) 'Insert row' cannot precede 'Redo' (inference error = 0%; i.e., 0 of 9) 'Insert column' cannot precede 'Redo' (inference error = 0%; i.e., 0 of 9) 'Delete row' cannot precede 'Redo' (inference error = 0%; i.e., 0 of 9) 'Delete column' cannot precede 'Redo' (inference error = 11.11111111111111%; i.e., 1 of 9) Error due to missing tuples: [inf(p('Delete column',5),p('Redo',6))] Seen tuples: [inf(p('Delete column',8),p('Redo',9)),inf(p('Delete column',7),p('Redo',8)),inf(p('Delete column',6),p('Redo',7)),inf(p('Delete column',4),p('Redo',5)),inf(p('Delete column',3),p('Redo',4)),inf(p('Delete column',2),p('Redo',3)),inf(p('Delete column',1),p('Redo',2)),inf(p('Delete column',0),p('Redo',1))] 'Redo' cannot precede 'Redo' (inference error = 22.22222222222222%; i.e., 2 of 9) Error due to missing tuples: [inf(p('Redo',7),p('Redo',8)),inf(p('Redo',4),p('Redo',5))] Seen tuples: [inf(p('Redo',8),p('Redo',9)),inf(p('Redo',6),p('Redo',7)),inf(p('Redo',5),p('Redo',6)),inf(p('Redo',3),p('Redo',4)),inf(p('Redo',2),p('Redo',3)),inf(p('Redo',1),p('Redo',2)),inf(p('Redo',0),p('Redo',1))] 'Write on document pane' cannot precede 'Redo' (inference error = 0%; i.e., 0 of 9) 'Write on HTML pane' cannot precede 'Redo' (inference error = 0%; i.e., 0 of 9) *** ADVICE: Event 'Redo' appears 11 times in 10 CONSECUTIVE invariants; may be indicative of another invariant.