Bugfixes in agglplanchecker