added fun methods to alloy models
changed how methods for funs are generated: it now parses the source block to compile the source directly into the target class
moved the proc source extracting code to a sdg_util file; preserve file+line of the original proc for user-def funs
implemented failover case when proc source extraction fails; added more assertions to the address book ex