Rename "careful" to "meticulous", because I want to use merely "careful" for the version that checks preservation of invariants but doesn't actually run the program at every stage.
Rename "careful" to "meticulous", because I want to use merely
"careful" for the version that checks preservation of invariants but
doesn't actually run the program at every stage.

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