New glb function for deterministic LTSs