Updated demo code for flat_scop, binding demo, and define method