Test('Transstest',
At step = 0 : Count(Transactions( name='OBJECT_CREATED' )) > 0;
At step = 0 : Count(Transactions( name='OBJECT_DELETED' )) > 0;
At step = 0 : Count(Transactions( name='TOKEN_CREATED' )) > 0;
At step = 0 : Count(Transactions( name='TOKEN_ADDED_TO_OBJECT' )) > 0;
At step = 0 : Count(Transactions( name='TOKEN_CLOSED' )) > 0;
At step = 0 : Count(Transactions( name='TOKEN_ACTIVATED' )) > 0;
At step = 0 : Count(Transactions( name='TOKEN_DEACTIVATED' )) > 0;
At step = 0 : Count(Transactions( name='TOKEN_MERGED' )) > 0;
At step = 0 : Count(Transactions( name='TOKEN_SPLIT' )) > 0;
At step = 0 : Count(Transactions( name='TOKEN_REJECTED' )) > 0;
At step = 0 : Count(Transactions( name='TOKEN_REINSTATED' )) > 0;
At step = 0 : Count(Transactions( name='TOKEN_DELETED' )) > 0;
At step = 0 : Count(Transactions( name='TOKEN_REMOVED' )) > 0;
At step = 0 : Count(Transactions( name='TOKEN_FREED' )) > 0;
At step = 0 : Count(Transactions( name='CONSTRAINT_CREATED' )) > 0;
At step = 0 : Count(Transactions( name='CONSTRAINT_DELETED' )) > 0;
At step = 0 : Count(Transactions( name='CONSTRAINT_EXECUTED' )) > 0;
At step = 0 : Count(Transactions( name='VAR_CREATED' )) > 0;
At step = 0 : Count(Transactions( name='VAR_DELETED' )) > 0;
At step = 0 : Count(Transactions( name='VAR_DOMAIN_RELAXED' )) > 0;
At step = 0 : Count(Transactions( name='VAR_DOMAIN_RESTRICTED' )) > 0;
At step = 0 : Count(Transactions( name='VAR_DOMAIN_SPECIFIED' )) > 0;
At step = 0 : Count(Transactions( name='VAR_DOMAIN_RESET' )) > 0;
At step = 0 : Count(Transactions( name='VAR_DOMAIN_EMPTIED' )) > 0;
At step = 0 : Count(Transactions( name='VAR_DOMAIN_UPPER_BOUND_DECREASED' )) > 0;
At step = 0 : Count(Transactions( name='VAR_DOMAIN_LOWER_BOUND_INCREASED' )) > 0;
At step = 0 : Count(Transactions( name='VAR_DOMAIN_BOUNDS_RESTRICTED' )) > 0;
At step = 0 : Count(Transactions( name='VAR_DOMAIN_VALUE_REMOVED' )) > 0;
At step = 0 : Count(Transactions( name='VAR_DOMAIN_RESTRICT_TO_SINGLETON' )) > 0;
At step = 0 : Count(Transactions( name='VAR_DOMAIN_SET' )) > 0;
At step = 0 : Count(Transactions( name='VAR_DOMAIN_SET_TO_SINGLETON' )) > 0;
At step = 0 : Count(Transactions( name='VAR_DOMAIN_CLOSED' )) > 0;
At step = 0 : Count(Transactions( name='RULE_EXECUTED' )) > 0;
At step = 0 : Count(Transactions( name='RULE_UNDONE' )) > 0;
At step = 0 : Count(Transactions( name='ASSIGN_NEXT_STARTED' )) > 0;
At step = 0 : Count(Transactions( name='ASSIGN_NEXT_FAILED' )) > 0;
At step = 0 : Count(Transactions( name='ASSIGN_NEXT_SUCCEEDED' )) > 0;
At step = 0 : Count(Transactions( name='ASSIGN_CURRENT_STARTED' )) > 0;
At step = 0 : Count(Transactions( name='ASSIGN_CURRENT_FAILED' )) > 0;
At step = 0 : Count(Transactions( name='ASSIGN_CURRENT_SUCCEEDED' )) > 0;
At step = 0 : Count(Transactions( name='RETRACT_STARTED' )) > 0;
At step = 0 : Count(Transactions( name='RETRACT_FAILED' )) > 0;
At step = 0 : Count(Transactions( name='RETRACT_SUCCEEDED' )) > 0;
At step = 0 : Count(Transactions( name='PROPAGATION_COMMENCED' )) > 0;
At step = 0 : Count(Transactions( name='PROPAGATION_COMPLETED' )) > 0;
At step = 0 : Count(Transactions( name='PROPAGATION_PREEMPTED' )) > 0;
At step = 0 : Count(Transactions( type='CREATION' )) > 0;
At step = 0 : Count(Transactions( type='DELETION' )) > 0;
At step = 0 : Count(Transactions( type='ADDITION' )) > 0;
At step = 0 : Count(Transactions( type='REMOVAL' )) > 0;
At step = 0 : Count(Transactions( type='CLOSURE' )) > 0;
At step = 0 : Count(Transactions( type='RESTRICTION' )) > 0;
At step = 0 : Count(Transactions( type='RELAXATION' )) > 0;
At step = 0 : Count(Transactions( type='EXECUTION' )) > 0;
At step = 0 : Count(Transactions( type='SPECIFICATION' )) > 0;
At step = 0 : Count(Transactions( type='UNDO' )) > 0;
At step = 0 : Count(Transactions( type='ASSIGNMENT' )) > 0;
At step = 0 : Count(Transactions( type='RETRACTION' )) > 0;
);
