out package:liquid-fixpoint

Output from constraint solving (fixpoint)
The layout stack tracks columns at which layout blocks have started.
Remove the topmost element from the layout stack.
Start a new layout block at the current indentation level.
smt timeout in msec