Simplify eval_rv_ask_mustbeequal by removing useless option type
Simplify eval_rv_ask_mustbeequal by removing useless option type

goblint/analyzer,goblint/analyzer,goblint/analyzer,goblint/analyzer,goblint/analyzer