Extract generic Spec domain and context lifters#1692

sim642 merged 6 commits intomastergoblint/analyzer:masterfrom

generic-spec-liftersgoblint/analyzer:generic-spec-liftersCopy head branch name to clipboard