New model atomicity decomp with code generation: By the way we dispense
with atomicityDecomposition, so the name is just a legacy!