[build][core] agregate lemmas in one node