In attempting to run the channel test case, I discovered an extraneous close paren that prevents the channel test case from compiling properly. The offending paren is located in
Functionals/ana_initial, line 300, col 29.
Not sure if this is the right place for this; if not, just let me know.