Doesn't generate contracts for private methods