added an auxiliary method to lookup a function in a Viper program and return Option[Function] depending on whether it's there. The method isn't really needed right now, but seems useful. It would make sense to add the same for other lookup methods.
added an auxiliary method to lookup a function in a Viper program and return Option[Function] depending on whether it's there. The method isn't really needed right now, but seems useful. It would make sense to add the same for other lookup methods.

sccblom/vercors,sccblom/vercors,sccblom/vercors,sccblom/vercors,sccblom/vercors