Error: undeclared identifier: msg

[dddejan]

pragma solidity >=0.5.0;
contract A {
  address owner;
  constructor(address _owner) public {
    owner = owner;
  }
}
contract B {
  A a;
  constructor() public {
    a = new A(msg.sender);
  }
}

Gives

$ solc-verify.py issue.sol --output .
Error while running verifier, details:
Parsing ./issue.sol.bpl
./issue.sol.bpl(44,24): Error: undeclared identifier: msg#44
1 name resolution errors detected in ./issue.sol.bpl

[hajduakos]

Fixed in add359a