[rules-dev] forall implementation by transformation?