- When making inferences "field is bound" -> "key is bound", do check 
  that the field is part of the key