WYIL: added better support for carrying through souce file attributes and assertion messages.