Added marking of initial entries, final exits
Added expandrays and associated code/variables
Enabled code to avoid adding new hypotheses if someone else is nearby