updated proposition evaluation and automaton edge simplification to support partially restrictive worlds