org.provarules.util2 (prova 3.3.2 API)