Why does program analysis have to abstract variables like integers and strings?
