Adding case for building default region arguments for function's return type.
Fixing bug in effect checker that was ignoring accesses to references.