Added analysis by synthesis (analysis_by_synthesis.py)