pub fn parse_spec(
    symbol_table: &SymbolTable,
    size: &str
) -> TractResult<InferenceFact>