Delete clauseform.hs

move all function to tableau.hs