rule ifAthenBelseC() = seq{
  try call AthenB(); // if AthenC fails, then C is executed
    else call C(); // if C fails, ifAthenBelseC fails as well
}

rule main() = seq{
  iterate call ifAthenBelseC(); // ifAthenBelseC is executed repeatedly, until it fails
}