Adding post-processing steps in the XSTS mapping to decomposte monolithic transitions

[grbeni]

An example:

trans {
    a := 10;
    choice (
        assume b < 10;
        ....
    } or {
        assume b >= 10;
        ....
    }
}

trans {
    a := 10;
    assume b < 10;
}
trans {
    a := 10;
    assume b >= 10;
}

[mondokm]

The syntax accepted by Theta is:

trans {
    a := 10;
    assume b < 10;
} or {
    a := 10;
    assume b >= 10;
}