test improvements in semantics/syntax