Helping programmers to adopt set-based specifications