Missing or misspelled variables do not fail in Preconditions and Postconditions