[BUG] Test Regression_Test.Pointers_Alignment doesn't work

[sava-cska]

Description Test Regression_Test.Pointers_Alignment doesn't work on main branch.

To Reproduce Steps to reproduce the behavior:

1. Write code like this

typedef struct my_Node {
    int value;
    struct my_Node *next;
} my_Node;

int my_list_sum(my_Node *head) {
    int sum = 0;
    while (head != 0) {
        sum += head->value;
        head = head->next;
    }
    return sum;
}

2. Generate tests for this function.

Expected behavior Tests are generated.

Actual behavior Tests are not generated and unittest Regression_Test.Pointers_Alignment can't pass, because it infinitely works and doesn't stop.