Adding termination/lifting benchmark