META parsing: handle += also on statements without precondition.