Some minor updates in SeqASTConstC.ml