Added tests related to the recent fixes in the muRascal library.