Level 1: .Overridden .Pressure .Reset 
Level 2: .WaterPres .Block 
Level 3: .Delta 
823cb68: IMPLIES	823cb58, 823cb48
823cb58: CONS	823cb08, 823cb18
823cb08: CONS	823b088, 0
823b088: DOT	0, 823b078
823b078: ATOM	SafetyInjection, 0
823cb18: CONS	0, 0
823cb48: CONS	823cb28, 823cb38
823cb28: CONS	0, 0
823cb38: CONS	82227b0, 0
0 is not implemented

large variables 
823b9f8: CONS	823b708, 823b9c8
823b708: CONS	823af28, 823b6f8
823af28: DOT	0, 823af18
823af18: ATOM	Delta, 0
823b6f8: CONS	821f7a0, 0
821f7a0: DOT	0, 821f790
821f790: ATOM	WaterPres, 0
823b9c8: CONS	823b3c8, 823b9b8
362 is not implemented
823b9b8: CONS	823b3e8, 823b9a8
363 is not implemented
823b9a8: CONS	823b428, 823b998
362 is not implemented
823b998: CONS	823b448, 823b988
365 is not implemented
823b988: CONS	823b488, 823b978
365 is not implemented
823b978: CONS	823b4a8, 0
362 is not implemented
The number of abstracted variables is 2
