Static analysis of carrier and lateral support by tasparg...