insert assertions in function WildCard