Added a regression that exercises issues related to DSA when it comes to calling a procedure from __SMACK_code.