fix #583 by disallowing satisfying same interface twice
(note that this change is not really totally necessary)