Using assertions to help end-user programmers create dependable web macros