Very first part of a GVN-PRE implementation. It currently performs a bunch of analys...