Lava.ConstructiveAnalysis