Removed rundandant sentences and changed cfa2 model to fix fake rebinding at function call, not return.