nasty-analysis TODO License Copyright 2019-2020 Lukas Schmelzeisen. Licensed under the Apache License, Version 2.0.