for comparison like `o1.Customer == o2.Customer` can be converted to `o1.Id == o2.Id` iff Customer navigation is dependent to principal and required.