Variable ordering now done by solver