Evaluates body with *read-eval* set to a "known" value, i.e. substituting true for :unknown if necessary.