A Visual Notation and an Improvement for the Syntax of Larman’s Operation Contracts