Elimination

2025 July 7, updated

An atom type whose current count is above the lower limit specified by ll_nat is randomly selected, and one atom of that type is removed.

From version 1.4.1, the functionality to remove multiple atoms has been implemented. The number of atoms to be removed is randomly selected from natural numbers up to elim_max. The default value is elim_max = 3.