Removed the precondition. Because manual layout views also can be involed into the auto-layout resolution.