Added isLeafInferred and isLeafStated properties to concept, added
module and conceptModule to text index, added method for transitive
closure from files stated and inferred in parameter folder