Default initial mixture

[jkrivine]

I would be great to have a 'default' mixture (for reachability analysis for instance) where: %init: 100 default would be interpreted as the mixture composed of 100 instances of all signatures in their default state.