added tests for multi-definitions