Features for stable release

[alegnani]

• [x] add support for result in functions (#51)
• [ ] folding/unfolding of predicates in method calls (#46)
• [ ] Viper statement parser for model integration