Symbolic Execution without CFG

Is it possible to implement a symbolic executor with Abstract Syntax Tree (AST) and without achieving Control Flow Graph (CFG)?