Added test that crashes during constbits analysis.
Verifier complains about Add with mode b.
Adapt to removal of fp-vrp.