Computational Short Cuts in Infinite Domain Constraint Satisfaction