Race checking by context inference