create .liquid files
check wellformedness of invariants