Update: removed door existence check for every DFAutomata step, fix #12