add tests for semicont/semiint variables.