Improved rna-transcription by using function preconditions.