Function is_cons2