replace rules with strategies in computations