newReportTrans :: Monad m => [PlaceNo] -> [PlaceNo] -> [PNExpr] ->
        ([value] -> m ()) -> MkPNMonad m value TransNo
    newReportTrans inPlaces outPlaces exprs report = do
        label <- getLabel
        addTrans $ Trans label inPlaces outPlaces Nothing exprs report
newReportTrans :: Monad m => [PlaceNo] -> [PlaceNo] -> [PNExpr] ->
        ([value] -> m ()) -> MkPNMonad m value TransNo
newReportTrans inPlaces outPlaces exprs report = do
        label <- getLabel
        addTrans $ Trans label inPlaces outPlaces Nothing exprs report
newReportTrans inPlaces outPlaces exprs report = do
        label <- getLabel
        addTrans $ Trans label inPlaces outPlaces Nothing exprs report