[pointer analysis] Assertion `is_struct_type(type) || is_union_type(type)' failed.

[lucasccordeiro]

$esbmc alglin1.c --function det2 --incremental-bmc

esbmc: /home/lucas/ESBMC_Project/esbmc/src/pointer-analysis/value_set.cpp:1439: expr2tc value_sett::make_member(const expr2tc&, const irep_idt&): Assertion `is_struct_type(type) || is_union_type(type)' failed.
Aborted

test.zip