ch.epfl.leb.sass.models.obstructors.internalΒΆ