refactor free fluctuation check
move consecutive templates test to StratumTests
change stem names to use subsumption instead of unification