Added test for Rascal declarations