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