Added test for issue osate/osate2-core#280