1. bug in SARL related to nested quantified expression
chap10/serial_jacobi.c


2. needs support for bitwise shift
chap14a/recursive_dfs.c

3.
