Factor graph computation in analyzes
Add race detection