Use "on the spot" solving for fundeps