Function is_cons1