Added a constructor for tableau
Fixed a bug in the checkSoundness method and added some test cases