implemented receive-after

* do_receive/2 injects an after_time expression into the dummy
  receive code.