renamed definition b.childrenof → fun RelationProperties.sup_rels_of, b.bijections → RelationProperties.injections (where it replaces former injective_functions_list)
removed injective_functions, which we are not using for our auction implementation
regenerated Scala code