Add counter-example for global capture in effects.
Add counter-example for symbols on sequences in effects.
Added and tested support for group-bys in fusion optimization.
Merge branch 'master' of github.com:DaMSL/K3-Core
Minor comment cleanup for fusion
insertEffects: added preprocessing phase
insertEffects: fixed simple_branch test
insertMembers: added Symbol propagation

NOTE: I noticed that shadowing globals will break the current cargs implementation
insertMembers: include DSymbols. They're important. really.
insertMembers: remove stray trace
Merge branch 'master' of github.com:DaMSL/K3-Core
insertEffects: fix global_capture

Late substitution of globals to deal with cyclic scope (to some degree)
Fix spurious pattern match failures.
Updates for q2
Merge branch 'master' of https://github.com/DaMSL/K3-Core
Switch symbol comparisons to be on SID.

This shouldn't be necessary, but it's a precaution against adding
annotations to the symbol itself.
Implement runConsolidatedAnalysis, for auto preprocessing effects.

This function provides preprocess, insertMembers and insertEffects in
one function, useful since they almost always need to be run together,
and they need some information passed between them.
Fix incorrect pattern match against effects instead of symbol.
Fix flipped conditional in lambda optimization.
Fix incorrectly halted recursion in lambda optimization.