Bugs fixed in ral-owl-analyser