Removed undef feature from ezsat api
Started implementing undef handling in satgen