test loop precondition