Added ezsat vec_const() api
Improvements in satgen undef handling
Improvements in satgen undef handling