Adds functions as a dependency to methods#549

Open

ArquintL wants to merge 2 commits intomasterfrom issue-548

+11-10

Commits on Dec 17, 2021

adds all functions in a Viper program as a dependency for any method
ArquintL
committed

Commits on Dec 23, 2021

adapts code further to avoid duplicate dependencies and to fix unit tests
ArquintL
committed