Latest Valida release fails multipilication verification

[Pravdyvy]

Hello.
I followed a guideline from an example here using latest release from https://github.com/lita-xyz/llvm-valida-releases , and failed to verify proof for multiplication. Addition proof verifies fine(for example, for fibonnaci numbers).
Precisely, code snippet looks as follows:

//mult.c

unsigned mult(unsigned n) {
        return n*n;
}

int main () {
    if (mult(2) == 4)  {
        return 0;
    } else {
        return 1;
    }
}

But while trying to verify proof I receive message Proof verification failed . What can cause that?

My operating system is Ubuntu 22.04 . I used valida interpreter from releases archive.