Are these paraphrases?
Infer also has a domain abstract language for specific syntax tree linting , based on ideas from Model Checking for Computation Tree Logic .
Infer has also a domain - abstract - language for specific syntax tree - linting , based on ideas from Model Checking for Computation Tree Logic .

OPT:
I. no;
II. yes;
II.