add semigroup_holes application