WyC: Changed the way local variable reads are translated.
WyIL: Bug fixes to WyilFileWriter / Reader.