Prune away definitional equations