Move read.c into wfgmain
consistent indentation
tab -> 2 spaces
dispensed with globals. Per-computation allocation.
dealloc the same number of fronts we alloc
reinitialize globals when entering
Use the right number of objectives for zero ref
initialize fs to NULL to cover all the globals
Why the computation was messed up.
Notes on errors