added LiteralChoice heuristic