Finite Groundings for ASP with Functions: A Journey through Consistency