test absent entri action correct test gener action action state notat uml notat action state notat uml action state notat str notat action state notat set set equal notat correctli gener absent entri action notat str 