Add solution existence conditions.