add spoofax examples
remove useless code