draft for consistency checker framework
Authored by: grether 2009-06-14
Parent: [r7423]
Child: [r7425]