Bugfixes in ARXResult and some refactoring