fix error-branch for fopen, add option ana.file.optimistic
added extra state Error since some state for join is needed and Closed isn't right