Make ckernel rewriter respect execution tactics