Those used to belong to the original implementation of the optimization,
which I changed to fit the new equal_computation function.