Simplify MCPAccess.A.may_race
Simplify MCPAccess.A.may_race

Co-authored-by: Michael Schwarz <002afe8b64400fa3cb5439d4dd87a0dc9a516d5f@gmail.com>

goblint/analyzer,goblint/analyzer,goblint/analyzer,goblint/analyzer,goblint/analyzer