new GVN-PRE implementation