Get all leaf set implementations (i.e. no operation) of an operation set implementation This takes into account loops and duplication.