reorganization: components + instances
copied jsCesk into es5Cesk, simplified jsCesk semantics
basic interprocedural dependence using annotated ReturnMarkers