Definition construction algorithm tests