Fix Definition.get_definitions
Test that full_name works with get_definitions