/aexpr-source-transformation-propagation/.options