tests for definition construction algorithm

tests for definition construction algorithm