Cannot reproduce doorspoelen.py results

[Ooqu4]

Description

When trying to reproduce the result of the doorspoelen.py script (as it is
printed in the paper), I do not get any violations.

How to Reproduce

The UitwerpselenToken contract (from this repository) comes with a pragma solidity ^0.4.13.
Therefore, I downloaded the required version of solc with py-solc:

$ python3 -m solc.install v0.4.13

Then I modified the doorspoelen.py script to use this version of solc.
The adapted script can be found here.

When executing this script, no violations are found:

$ python3 doorspoelen.py
Analysis completed.

Expected behavior

Output with several sections stating with VIOLATION FOUND. Like this:

VIOLATION FOUND:
In line 45:
balanceOf[msg.sender] -= value
(...)
keccac_1461501637330902918203684832716283019655932542975_&
1461501637330902918203684832716283019655932542975_&
caller = 0x0
VIOLATION FOUND:
...

Environment

• Mythril version: v0.19.11
• Solidity compiler and version: 0.4.13+commit.0fb4cb1a.Linux.g++
• Python version: 3.6.7
• OS and Version: Ubuntu 18.04.1 LTS (64-bit)