return empty invariant list if the invariants file does not exist