Added possible -nodoubles -norecursion arguments