Track min and max values written directly to global static vars, use in memory...

Track min and max values written directly to global static vars, use in memory expresssion simplification; other memory analysis generalizations.