[FOLD] Use abstract_clock