Re-enable CopyProp with -O1 and -O2
Change facts representation, new analysis