modelverse/integration/code/initialize_PN.mvc

Composite schedule {
    {Contains} Success success {}
}
Initial (schedule, success) {}