Test FOL invariants on more example programs.
Test FOL invariants on more example programs.

axch/dysvunctional-language,axch/dysvunctional-language,axch/dysvunctional-language,axch/dysvunctional-language