Function to eliminate parameters from definitions