Add dependency constraints within strategy: after each apply_output (generate_dep_csts now
makes sure that the trace is of the form ...IN.OUT).
first try for testing dependency constraints