Apron: Only replace deref expression with pointed to variable if types coincide

Apron: Only replace deref expression with pointed to variable if types coincide #1197