Prove that there is a bug in EF Code First migrations when adding a foreign key to a descendant type in a TPH relationship.