Added precondition in layout control