(test
 (name test_pass_strategy_synthesis))