expression "&this->val" in logic function body causes framaCIRGen abort (#899) · Issues · pub / frama-c