Still some syntax tests fail (actually static semantic tests)