Enable longest lacing on UI and in AST compilation
Merge pull request #1340 from ke-yu/support_longest_lacing

Enable longest lacing on UI and in AST compilation