initial layout for sequent calculus module