Added closed_contains_Inf