Title: A design tool for Jackson structured programming