created a more general R2L utilities file
temporary work around to make post-processing more functional
more documentation
Merge pull request #1129 from williampma/abstract-alt

RelEx2Logic: temporary work-around for post-processing