Level 1: .p1.waiting .p1.state .p0.waiting .p0.state 
Level 2: .p0.reply-stall .p1.reply-stall .p2.reply-stall .m.reply-stall .CMD .p0.master .p1.master .p2.master .p2.waiting 
Level 3: .p1.cmd .p2.cmd .m.cmd .p0.cmd .m.busy 
Level 4: .p2.state .m.master .p0.snoop .p2.snoop .p1.snoop 
8230a58: IMPLIES	8230a48, 8230a38
8230a48: CONS	82309f8, 8230a08
82309f8: CONS	822e1a8, 0
822e1a8: DOT	822e038, 8221540
822e038: DOT	0, 822dcb8
822dcb8: ATOM	m, 0
8221540: ATOM	master, 0
8230a08: CONS	0, 0
8230a38: CONS	8230a18, 8230a28
8230a18: CONS	0, 0
8230a28: CONS	82223c0, 0
0 is not implemented

82309d8: IMPLIES	82309c8, 82309b8
82309c8: CONS	8230978, 8230988
8230978: CONS	822df98, 0
822df98: DOT	822dc28, 822d758
822dc28: DOT	0, 822d8a8
822d8a8: ATOM	p2, 0
822d758: ATOM	snoop, 0
8230988: CONS	0, 0
82309b8: CONS	8230998, 82309a8
8230998: CONS	0, 0
82309a8: CONS	82223c0, 0
0 is not implemented

8230958: IMPLIES	8230948, 8230938
8230948: CONS	82308f8, 8230908
82308f8: CONS	822df38, 0
822df38: DOT	822dc28, 822d6e8
822dc28: DOT	0, 822d8a8
822d8a8: ATOM	p2, 0
822d6e8: ATOM	state, 0
8230908: CONS	0, 0
8230938: CONS	8230918, 8230928
8230918: CONS	0, 0
8230928: CONS	82223c0, 0
0 is not implemented

82308d8: IMPLIES	82308c8, 82308b8
82308c8: CONS	8230878, 8230888
8230878: CONS	822db88, 0
822db88: DOT	822d818, 822d758
822d818: DOT	0, 8221460
8221460: ATOM	p1, 0
822d758: ATOM	snoop, 0
8230888: CONS	0, 0
82308b8: CONS	8230898, 82308a8
8230898: CONS	0, 0
82308a8: CONS	82223c0, 0
0 is not implemented

8230858: IMPLIES	8230848, 8230838
8230848: CONS	82307f8, 8230808
82307f8: CONS	822d768, 0
822d768: DOT	82213d0, 822d758
82213d0: DOT	0, 82213c0
82213c0: ATOM	p0, 0
822d758: ATOM	snoop, 0
8230808: CONS	0, 0
8230838: CONS	8230818, 8230828
8230818: CONS	0, 0
8230828: CONS	82223c0, 0
0 is not implemented

8230538: IMPLIES	8230528, 8230518
8230528: CONS	822fc88, 82304f8
822fc88: CONS	822d9a8, 0
822d9a8: DOT	822d818, 8221590
822d818: DOT	0, 8221460
8221460: ATOM	p1, 0
8221590: ATOM	cmd, 0
82304f8: CONS	822f438, 0
822f438: EQUAL	822d9a8, 821e550
822d9a8: DOT	822d818, 8221590
822d818: DOT	0, 8221460
8221460: ATOM	p1, 0
8221590: ATOM	cmd, 0
821e550: ATOM	idle, 0
8230518: CONS	82307e8, 8230508
82307e8: CONS	821d710, 82307d8
821d710: NUMBER	0, 0
82307d8: CONS	821d700, 82307c8
821d700: NUMBER	1, 0
82307c8: CONS	82306f8, 82307b8
82306f8: NUMBER	2, 0
82307b8: CONS	82306d8, 0
82306d8: NUMBER	3, 0
8230508: CONS	0, 0

82304d8: IMPLIES	82304c8, 82304b8
82304c8: CONS	822fca8, 8230498
822fca8: CONS	822ddb8, 0
822ddb8: DOT	822dc28, 8221590
822dc28: DOT	0, 822d8a8
822d8a8: ATOM	p2, 0
8221590: ATOM	cmd, 0
8230498: CONS	822f458, 0
822f458: EQUAL	822ddb8, 821e550
822ddb8: DOT	822dc28, 8221590
822dc28: DOT	0, 822d8a8
822d8a8: ATOM	p2, 0
8221590: ATOM	cmd, 0
821e550: ATOM	idle, 0
82304b8: CONS	82307a8, 82304a8
82307a8: CONS	821d710, 8230798
821d710: NUMBER	0, 0
8230798: CONS	821d700, 8230788
821d700: NUMBER	1, 0
8230788: CONS	82306f8, 8230778
82306f8: NUMBER	2, 0
8230778: CONS	82306d8, 0
82306d8: NUMBER	3, 0
82304a8: CONS	0, 0

8230478: IMPLIES	8230468, 8230458
8230468: CONS	822fcc8, 8230438
822fcc8: CONS	822e1e8, 0
822e1e8: DOT	822e038, 8221590
822e038: DOT	0, 822dcb8
822dcb8: ATOM	m, 0
8221590: ATOM	cmd, 0
8230438: CONS	822f478, 0
822f478: EQUAL	822e1e8, 821e550
822e1e8: DOT	822e038, 8221590
822e038: DOT	0, 822dcb8
822dcb8: ATOM	m, 0
8221590: ATOM	cmd, 0
821e550: ATOM	idle, 0
8230458: CONS	8230768, 8230448
8230768: CONS	821d710, 8230758
821d710: NUMBER	0, 0
8230758: CONS	821d700, 8230748
821d700: NUMBER	1, 0
8230748: CONS	82306f8, 8230738
82306f8: NUMBER	2, 0
8230738: CONS	82306d8, 0
82306d8: NUMBER	3, 0
8230448: CONS	0, 0

8230418: IMPLIES	8230408, 82303f8
8230408: CONS	822fce8, 82303d8
822fce8: CONS	82215a0, 0
82215a0: DOT	82213d0, 8221590
82213d0: DOT	0, 82213c0
82213c0: ATOM	p0, 0
8221590: ATOM	cmd, 0
82303d8: CONS	822f498, 0
822f498: EQUAL	82215a0, 821e550
82215a0: DOT	82213d0, 8221590
82213d0: DOT	0, 82213c0
82213c0: ATOM	p0, 0
8221590: ATOM	cmd, 0
821e550: ATOM	idle, 0
82303f8: CONS	8230728, 82303e8
8230728: CONS	821d710, 8230718
821d710: NUMBER	0, 0
8230718: CONS	821d700, 8230708
821d700: NUMBER	1, 0
8230708: CONS	82306f8, 82306e8
82306f8: NUMBER	2, 0
82306e8: CONS	82306d8, 0
82306d8: NUMBER	3, 0
82303e8: CONS	0, 0

The number of abstracted variables is 9
