Stronger precondition check in views in order to limit exceptions
on wrong input