add oclanalyzer and realliteral