The node you are looking for is at SPARK Ada Rules.