Level 1: .Overridden .Pressure .Reset 
Level 2: .WaterPres .Block 
Level 3: .Delta 
823cc18: IMPLIES	823cc08, 823cbf8
823cc08: CONS	823cbb8, 823cbc8
823cbb8: CONS	823b138, 0
823b138: DOT	0, 823b128
823b128: ATOM	SafetyInjection, 0
823cbc8: CONS	0, 0
823cbf8: CONS	823cbd8, 823cbe8
823cbd8: CONS	0, 0
823cbe8: CONS	8222860, 0
0 is not implemented

large variables 
823baa8: CONS	823b7b8, 823ba78
823b7b8: CONS	823afd8, 823b7a8
823afd8: DOT	0, 823afc8
823afc8: ATOM	Delta, 0
823b7a8: CONS	821f850, 0
821f850: DOT	0, 821f840
821f840: ATOM	WaterPres, 0
823ba78: CONS	823b478, 823ba68
362 is not implemented
823ba68: CONS	823b498, 823ba58
363 is not implemented
823ba58: CONS	823b4d8, 823ba48
362 is not implemented
823ba48: CONS	823b4f8, 823ba38
365 is not implemented
823ba38: CONS	823b538, 823ba28
365 is not implemented
823ba28: CONS	823b558, 0
362 is not implemented
The number of abstracted variables is 2
