Internal call to contract selfdestruct

[beillahi]

trafficstars

pragma solidity ^0.5.0;


contract test {

  function g(address payable a)  public {   
    selfdestruct(a);
  }
}
-----------------
Error while running verifier, details:
[TRACE] Using prover: /usr/bin/z3
Parsing /tmp/tmp7s2u6u6t/test9.sol.bpl
/tmp/tmp7s2u6u6t/test9.sol.bpl(18,1): Error: call to undeclared procedure: selfdestruct#35
1 name resolution errors detected in /tmp/tmp7s2u6u6t/test9.sol.bpl

[dddejan]

We can encode transfer of value, no big deal. Specifying the behavior past that can be part of #104.