Symbolic representation of statements