Tentative decompiler for GCDSP