Merge the checking for meta-predicate clause heads with non-variables in meta-argument positions with the extraction of head variables in meta-argument positions