Revert "Fix PropertyFromExpr declaration in cover"

This reverts commit cdbc02372dd8b6e2da1e6e5417f705d323dfa340.
This commit does not work. My fault.