Assertion list
microprocessor (primary) → Causes

Results from Ascent++: 1
microprocessorCauses adjustment 0.40