error correction subgroup of correction, 2 assertions
HasProperty 1
necessary 0.68
ReceivesAction 1
stored in the memory 0.25