New lazy_analysis.amdf with tests