Lava.ConstructiveAnalysis
constructive