Generating heating/cooling with concrete sorts. Needed for test generation