Add some more test cases

@stefjoosten: ownsCitrus;I[Orange];I[Lime];I[Citrus] gets Lime as its update target type, due to an Epsilon with concept Lime at the far right. Shouldn't this be Limorange?