Fixed default reasoner bugs