Events and Constraints: A Graphical Editor for Capturing Logic Requirements of Programs