/home/mornfall/dev/divine/work/divine/map.h:63: error: request for member &#8216;visitor&#8217; in &#8216;((divine::Pack<divine::controller::MetaTemplate<divine::controller::Info<divine::controller::StateInfo<divine::map::Extension, char>, divine::controller::CompInfo<divine::visitor::BFS, divine::map::MapObserver> >, divine::controller::ThreadTemplate>::Controller>*)((divine::controller::MetaTemplate<divine::controller::Info<divine::controller::StateInfo<divine::map::Extension, char>, divine::controller::CompInfo<divine::visitor::BFS, divine::map::MapObserver> >, divine::controller::ThreadTemplate>::Controller*)((divine::map::MapObserver<divine::controller::MetaTemplate<divine::controller::Info<divine::controller::StateInfo<divine::map::Extension, char>, divine::controller::CompInfo<divine::visitor::BFS, divine::map::MapObserver> >, divine::controller::ThreadTemplate> >*)this)->divine::map::MapObserver<divine::controller::MetaTemplate<divine::controller::Info<divine::controller::StateInfo<divine::map::Extension, char>, divine::controller::CompInfo<divine::visitor::BFS, divine::map::MapObserver> >, divine::controller::ThreadTemplate> >::m_controller)->divine::controller::MetaTemplate<divine::controller::Info<divine::controller::StateInfo<divine::map::Extension, char>, divine::controller::CompInfo<divine::visitor::BFS, divine::map::MapObserver> >, divine::controller::ThreadTemplate>::Controller::<anonymous>.divine::controller::ThreadTemplate<T, Self>::pack [with T = divine::controller::Info<divine::controller::StateInfo<divine::map::Extension, char>, divine::controller::CompInfo<divine::visitor::BFS, divine::map::MapObserver> >::Get<divine::controller::MetaTemplate<divine::controller::Info<divine::controller::StateInfo<divine::map::Extension, char>, divine::controller::CompInfo<divine::visitor::BFS, divine::map::MapObserver> >, divine::controller::ThreadTemplate> >, Self = divine::controller::MetaTemplate<divine::controller::Info<divine::controller::StateInfo<divine::map::Extension, char>, divine::controller::CompInfo<divine::visitor::BFS, divine::map::MapObserver> >, divine::controller::ThreadTemplate>::Controller]())->divine::Pack<Worker>::owner [with Worker = divine::controller::MetaTemplate<divine::controller::Info<divine::controller::StateInfo<divine::map::Extension, char>, divine::controller::CompInfo<divine::visitor::BFS, divine::map::MapObserver> >, divine::controller::ThreadTemplate>::Controller](t)&#8217;, which is of non-class type &#8216;int&#8217;