Example usage of Spoofax core library