Using an abstract syntax close to Fabio's thesis