Fixed memory leak in apply_axioms_for_ll_operation