Tests that may contribute to specification tests

These tests are regression tests written after fixing bugs in IDE.