Expose memory binding(s) in program logic statements

Expose memory binding(s) in program logic statements #4013