fetch possible example contracts at compile time

fetch possible example contracts at compile time #4719