Prepare: replace ldv_assume with __VERIFIER_assume
Prepare: replace ldv_assume with __VERIFIER_assume

So that the slicer is aware of this assumptions.

Signed-off-by: Marek Chalupa <2ec68d8033ee11c75b31c3efa204dbc26c692ff1@fi.muni.cz>

staticafi/symbiotic,staticafi/symbiotic,staticafi/symbiotic,staticafi/symbiotic