LCT FR Resolution HeuristicsΒΆ