Added sat -max_undef feature