Goal:
    A : Type  R : relation A  S : relation A
  ============================
   (inclusion R S -> inclusion (clos_refl_trans R) (clos_refl_trans S))


DEBUG:Going to execute:
<coq-core.plugins.ssreflect::ssrmove@1> $1 $2