The used JSF impl may be changed through modules, and such feature is defined in JSF subsystem configurations, as described in https://docs.jboss.org/author/display/WFLY10/JSF+Configuration

The tool should migrate referenced modules (and dependencies), if missing in the target server.