typedef int PK_pattern_check_loops_t;
This data type indicates what type of loop checking will be
done during the patterning operation. It has two values:
PK_pattern_check_loops_no_c loop checking not performed
PK_pattern_check_loops_yes_c loop checking will be performed