ilya-klyuchnikov/faba — pull request #16 by ilya-klyuchnikov (2014-06-15 13:20:48+00:00)
Title: Virtual methods

It is possible to index virtual methods as well. The trick is to run _origin results analysis_ beforehand and to propagate in `contracts.scala` only such positive information that affect the result