fixing syntax of precondition in InitialExample