Static analysis of a parallel Scheme