Determining life

Should work for determining all unconditional life: tested on some cases, but it's hard to create them in my head (could modify the gui to allow for easier creation of test cases; maybe can do so for the presentation?)