tue_reasoner_core to git