void Compass_check_ap_list( TypeChecker_ptr tc, NodeList_ptr list )
compile.c
void Compass_check_prob_list( TypeChecker_ptr tc, NodeList_ptr list )
compile.c
add_ptr Compass_process_prob_list( BddEnc_ptr enc, NodeList_ptr list, add_ptr trans )
compile.c