write some semantic action tests