Current Life Regression in Arclid