ddc-core-flow: perform eta-reduction inplace on non-letbound variables
Make load functions return the AST annotated with source positions