But this yields large and complex planning encodings, and it is not clear how to exploit those effectively.
we take a different approach here, pre-compiling all combined (nonatomic) categories that will be considered by the planning process.