initial support for select

get it reducing the bool assumptions even when using the select_model.
but the select assumptions themselevs still remain.