Started implementing undef support in "sat" command