With the freezers generated automatically from K with the use of strict and context, we were unable to use them and thus summarize sequences as long as possible. This PR removes the strict and contexts, and explicitly creates the corresponding freezers and heating-cooling rules.
With the freezers generated automatically from K with the use of strict and context, we were unable to use them and thus summarize sequences as long as possible. This PR removes the strict and contexts, and explicitly creates the corresponding freezers and heating-cooling rules.