add --omega-real=virtual-substitution option