support for lemon:decomposition part 1 (fallback for canonical form)
conditional module with states as classes