Add function calls and exception specializer passes

	Fix infinite re-specialization issue