Fixed compiler warining in passes/sat/eval.cc
Fixed uninitialized const flags bug
Added "sat" undef support and "sat -set-init" options
Progress on AppNote 011