Oracle inputs for unguarded pres, and treat constant inputs better