(* Create a step entry to schedule in +steps+ sequence
*  @param procci process identifier to schedule
*  @param procInput an elment in process input set to pass to the process
*  @param ctx context where to resume, Nil if no resume
*)
NewStep( procci, procInput, ctx  ) == [ process  |-> procci, bindRule |-> WildCard ,bindSet  |-> procInput, ctx  |-> ctx ]