Modified order of initializing things in "extensionNondeterministicMotion.hpp"