Defined generic function SIDE-EFFECT-FREE-P.